From 0888e58324fea32c801f9f5692718d916b5e954a Mon Sep 17 00:00:00 2001
From: jean-pierre roux <jean-pierre.roux@creatis.insa-lyon.fr>
Date: Thu, 17 Feb 2011 05:56:34 +0000
Subject: [PATCH] avoid touch + rm + touch

---
 Linux/menu.sh                      | 6 ++----
 Linux/scripts/CreaTools-install.sh | 6 ++++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Linux/menu.sh b/Linux/menu.sh
index a965358..b902fed 100644
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -55,9 +55,8 @@ do
 	# WARNING : $installPrefixThird is taken from CreaTools-configure.sh
         # if user configured without installing third party library,
         # Last third party library is still in use!  JPR
-	
-	
-	
+
+
         if [ ! -f $installPrefixThird/share/creatools_third_party_library_config.sh ]
         then
               echo WARNING
@@ -148,7 +147,6 @@ do
         echo 
         # ------------------
 
-
         installPrefix="___"
         echo "Install Prefix for CreaTools : '$generationdir/creatools_install' / '/usr/local' (default is '$generationdir/creatools_install')"
         read installPrefix
diff --git a/Linux/scripts/CreaTools-install.sh b/Linux/scripts/CreaTools-install.sh
index d8d7cae..a0ab5a4 100644
--- a/Linux/scripts/CreaTools-install.sh
+++ b/Linux/scripts/CreaTools-install.sh
@@ -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
   
-- 
2.45.0