#!/bin/sh -> #!/bin/bash (for Ubuntu pb)

[creaToolsTools.git] / Linux / scripts / creaenvironmentVariables.sh

diff --git a/Linux/scripts/creaenvironmentVariables.sh b/Linux/scripts/creaenvironmentVariables.sh
index 48c082b0e98e55e6b03f827490b77645e9126657..f284a8e52eded69af09e11dd6fbc17fafb8183c0 100644 (file)
--- a/Linux/scripts/creaenvironmentVariables.sh
+++ b/Linux/scripts/creaenvironmentVariables.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # $1 : 'creaEnvironment'
 # $2 : generationdir