From 808a073312757e2119bfce56ad4fc4d9999ebf45 Mon Sep 17 00:00:00 2001 From: Eduardo DAVILA Date: Thu, 29 Mar 2018 18:46:46 +0200 Subject: [PATCH] #3183 creaToolsTools Feature New Normal - install prefix name --- Linux/installscript | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Linux/installscript b/Linux/installscript index ded2f52..2631d2b 100755 --- a/Linux/installscript +++ b/Linux/installscript @@ -174,8 +174,8 @@ fi checkDistrib $OperatingSystem # complete default install prefix -if [ -z "$installPrefix" ] ; then installPrefix=$generationdir/creatools_install; fi -if [ -z "$installPrefixThird" ] ; then installPrefixThird=$generationdir/thirdparty_install; fi +if [ -z "$installPrefix" ] ; then installPrefix=$generationdir/ci; fi +if [ -z "$installPrefixThird" ] ; then installPrefixThird=$generationdir/tpli; fi # check build type if [ `checkVal $buildType Release Debug RelWithDebug` == "false" ] ; then -- 2.47.1