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

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

diff --git a/Linux/scripts/bbtkVariables.sh b/Linux/scripts/bbtkVariables.sh
index 4b1552c26405a1e1a8794d305e3e44f321cfac8c..44edea43968c7f813153dff23f0f263f3b7f51f0 100644 (file)
--- a/Linux/scripts/bbtkVariables.sh
+++ b/Linux/scripts/bbtkVariables.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # $1 : bbtk
 # $2 : generationdir