avoid touch + rm + touch

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index a965358a6cd4af655677bb7b6cd653db7b8548f0..b902fedfad30faab2d169ce7ef48b617f615859a 100644 (file)
--- 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