X-Git-Url: https://git.creatis.insa-lyon.fr/pubgit/?a=blobdiff_plain;f=Linux%2Fmenu.sh;h=b902fedfad30faab2d169ce7ef48b617f615859a;hb=0888e58324fea32c801f9f5692718d916b5e954a;hp=a965358a6cd4af655677bb7b6cd653db7b8548f0;hpb=a0b3560b65656c6c2601dced3aeddebd66c0ea6d;p=creaToolsTools.git 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