Last one?

diff --git a/Linux/scripts/CreaTools-compile.sh b/Linux/scripts/CreaTools-compile.sh
index b7d8fcce15e200ff6224fdba76d733b448054c31..e53bc0711f67148b8caaac7703e6f7a826557da0 100644 (file)
--- a/Linux/scripts/CreaTools-compile.sh
+++ b/Linux/scripts/CreaTools-compile.sh
@@ -260,7 +260,7 @@ fi
 fi
 
 
-# sh ctestmod.sh $creatoolsbinary $generationdir
+# bash ctestmod.sh $creatoolsbinary $generationdir
 #  creatoolsdll=$generationdir/creatools_bin/creatoolsBin
 #  LD_LIBRARY_PATH=$creatoolssdll:$LD_LIBRARY_PATH
 

diff --git a/Linux/scripts/CreaTools-install.sh b/Linux/scripts/CreaTools-install.sh
index e717960f79618cfc953ee8d8109ddaa68b5f3ce1..d8d7caeac3f940b4bc50d518419f913d26f73105 100644 (file)
--- a/Linux/scripts/CreaTools-install.sh
+++ b/Linux/scripts/CreaTools-install.sh
@@ -40,10 +40,10 @@ then
                  echo export ETC_BASHRC="/etc/bashrc"
               fi
              
-  # - remove line 'sh $installPrefix/creatools_install/share/creatools_base_libraries_config.sh' if any
+  # - remove line 'bash $installPrefix/creatools_install/share/creatools_base_libraries_config.sh' if any
   sed -i -e '/.*creatools_base_library_config.*/ d' $ETC_BASHRC
   #  modify /etc/bashrc (we cannot modify .bashrc, since we switched as root)  
-  # - add line 'sh $installPrefix/creatools_install/share/creatools_base_libraries_config.sh'
+  # - add line 'bash $installPrefix/creatools_install/share/creatools_base_libraries_config.sh'
   echo source $installPrefix/share/creatools_base_library_config.sh >> $ETC_BASHRC
 else
   echo