]> Creatis software - creaToolsTools.git/blobdiff - Linux/scripts/CreaTools-install.sh
avoid touch + rm + touch
[creaToolsTools.git] / Linux / scripts / CreaTools-install.sh
index d8d7caeac3f940b4bc50d518419f913d26f73105..a0ab5a45f0f2aac333f8439a5f00de20ed1be40e 100644 (file)
@@ -18,8 +18,10 @@ then
   bash installmod.sh $buildType $bbtkgeditorsource            $generationdir
   bash installmod.sh $buildType $creatoolssource              $generationdir
   
-  touch     $installPrefix/share/creatools_base_library_config.sh
-  rm        $installPrefix/share/creatools_base_library_config.sh
+  if [ -f $installPrefix/share/creatools_base_library_config.sh ]
+  then
+     rm        $installPrefix/share/creatools_base_library_config.sh
+  fi
   touch     $installPrefix/share/creatools_base_library_config.sh
   chmod 755 $installPrefix/share/creatools_base_library_config.sh