]> SALOME platform Git repositories - tools/install.git/commitdiff
Salome HOME
A bit improvement.
authorakl <akl@opencascade.com>
Wed, 15 Aug 2007 07:22:46 +0000 (07:22 +0000)
committerakl <akl@opencascade.com>
Wed, 15 Aug 2007 07:22:46 +0000 (07:22 +0000)
config_files/build.csh
config_files/build.sh

index 70e2b34fca9c505e7f04bea12f6138a8181eb9da..a378cf3d4973b796c83dd3538492d35561645a35 100755 (executable)
@@ -248,7 +248,7 @@ foreach module (${modules})
            #########################################################
            # call build_configure
            #########################################################
-           if ( "${module}" == "MED" && $med_with_gui == 0 ) then
+           if ( $med_with_gui == 0 && "${module}" == "MED" ) then
                set add_keys="--without-ihm"
            endif
            cd ${module_src}
@@ -325,7 +325,7 @@ foreach module (${modules})
        if ( ! -e ${module_src}/configure ) then
            echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}."
        else
-           if ( "${module}" == "MED" && $med_with_gui == 0 ) then
+           if ( $med_with_gui == 0 && "${module}" == "MED" ) then
                set add_keys="--without-ihm"
            endif
            if ( "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then
index 1a0cbcfe0538357c99d54ec174021ddac673825b..c6fae3e3cd4086564b5a4a48074404bcf031fd4c 100755 (executable)
@@ -255,7 +255,7 @@ for module in ${modules}; do
                #########################################################
                 # call build_configure
                #########################################################
-               if [ ${module} == "MED" ] && [ $med_with_gui -eq 0 ] ; then
+               if [ $med_with_gui -eq 0 ] && [ ${module} == "MED" ] ; then
                    add_keys="--without-ihm"
                fi
                cd ${module_src}
@@ -334,7 +334,7 @@ for module in ${modules}; do
                echo '!!! Warning !!! Can not find configure script in '${module_src}'.'
                echo
            else
-               if [ "${module}" == "MED" ] && [ $med_with_gui -eq 0 ] ; then
+               if [ $med_with_gui -eq 0 ] && [ "${module}" == "MED" ] ; then
                    add_keys="--without-ihm"
                fi
                if [ "${module}" == "NETGENPLUGIN" ] && [ "$NETGENHOME" != "" ] ; then