From: maintenance team Date: Thu, 3 Jun 2010 06:40:05 +0000 (+0000) Subject: Update for Salome 6.1.0 X-Git-Tag: V6_1_0~14 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=3c3af0f1a038f724871f37917cb3c66b9d0f06e5;p=tools%2Finstall.git Update for Salome 6.1.0 --- diff --git a/config_files/build.csh b/config_files/build.csh index 65ffe1b..4c56ea4 100755 --- a/config_files/build.csh +++ b/config_files/build.csh @@ -239,7 +239,11 @@ foreach module (${modules}) ######################################################### # call build_configure ######################################################### + if (! ($?BUILDCONF_OPTS) ) then + set mybuildconf_keys="" + else set mybuildconf_keys="${BUILDCONF_OPTS}" + endif if ( $inst_with_gui == 0 ) then set mybuildconf_keys="${mybuildconf_keys} --without-gui" endif @@ -337,7 +341,11 @@ foreach module (${modules}) if ( ! -e ${module_src}/configure && "${module}" != "PARAVIS" ) then echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}." else -# set myconf_keys="${CONF_OPTS}" + if (! ($?BUILDCONF_OPTS) ) then + set myconf_keys="" + else + set myconf_keys="${CONF_OPTS}" + endif if ( $inst_with_gui == 0 ) then set myconf_keys="${myconf_keys} --without-gui" endif