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

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

diff --git a/Linux/scripts/creaVariables.sh b/Linux/scripts/creaVariables.sh
index 01b3a4f4fc9ec20ad32543193b6d6d858ee875d9..ce8bf4d00de372a74f22b5206eafa3f21afc8056 100644 (file)
--- a/Linux/scripts/creaVariables.sh
+++ b/Linux/scripts/creaVariables.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # $1 : bbtk
 # $2 : generationdir