]> SALOME platform Git repositories - tools/install.git/commitdiff
Salome HOME
Update for Salome 6.1.0
authormaintenance team <salome-mnt@opencascade.com>
Thu, 3 Jun 2010 06:40:05 +0000 (06:40 +0000)
committermaintenance team <salome-mnt@opencascade.com>
Thu, 3 Jun 2010 06:40:05 +0000 (06:40 +0000)
config_files/build.csh

index 65ffe1b5cdba25962236831a131a122f8adb415e..4c56ea41398314aa30b4933006ab85df6d37c91c 100755 (executable)
@@ -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