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

[creaToolsTools.git] / Linux / scripts / ThirdParty-install.sh

diff --git a/Linux/scripts/ThirdParty-install.sh b/Linux/scripts/ThirdParty-install.sh
index 08a7c2128e415758ff43e26d7df9002b22743293..36f8f12d38af7bf20b825aaeba82375b6fe7ea6d 100644 (file)
--- a/Linux/scripts/ThirdParty-install.sh
+++ b/Linux/scripts/ThirdParty-install.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
  if [ ! -f $PWD/scripts/CreaTools-configure.sh ]
  then 
    echo