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

[creaToolsTools.git] / Linux / scripts / CreaTools-names.sh

diff --git a/Linux/scripts/CreaTools-names.sh b/Linux/scripts/CreaTools-names.sh
index 4c928eb0b65c06aa0a7a692f23e59ca31a2ce41f..cf14c8028db9e96784e0f8591b9018818aaf04ba 100644 (file)
--- a/Linux/scripts/CreaTools-names.sh
+++ b/Linux/scripts/CreaTools-names.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 #
 # This one is here just in order not tp duppliacte the following code