From: maintenance team <salome-mnt@opencascade.com>
Date: Wed, 23 Apr 2008 08:34:30 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: V4_1_3~22
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=7bf232884dce69e5b46795ff391da13ca83824ea;p=tools%2Finstall.git

*** empty log message ***
---

diff --git a/config_files/build.csh b/config_files/build.csh
index fe5ee5e..080ee1c 100755
--- a/config_files/build.csh
+++ b/config_files/build.csh
@@ -92,7 +92,7 @@ echo "            This option forces configure (-c) key to be set. Default is of
 echo ""
 echo "-c          Perform configure command for all given modules. Default is off."
 echo ""
-echo "-w          Add --without-ihm key to build_configure and configure"
+echo "-w          Add --without-gui key to build_configure and configure"
 echo "            commands for MED module to build its sources without GUI."
 echo "            By default MED sources are built with GUI."
 echo ""
@@ -249,7 +249,7 @@ foreach module (${modules})
 	    # call build_configure
 	    #########################################################
 	    if ( $med_with_gui == 0 && "${module}" == "MED" ) then
-		set add_keys="--without-ihm"
+		set add_keys="--without-gui"
 	    endif
 	    cd ${module_src}
 	    ./build_configure ${add_keys} >& ${LOG_DIR}/build_configure_${module}.log
@@ -329,7 +329,7 @@ foreach module (${modules})
 	    echo "\!\!\! Warning \!\!\! Can not find configure script in ${module_src}."
 	else
 	    if ( $med_with_gui == 0 && "${module}" == "MED" ) then
-		set add_keys="--without-ihm"
+		set add_keys="--without-gui"
 	    endif
 	    if (  "${module}" == "MED" && ($?METISDIR)  && ($?SCOTCHDIR) ) then
 		set add_keys="--enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"
diff --git a/config_files/build.sh b/config_files/build.sh
index af4e3da..ae695bd 100755
--- a/config_files/build.sh
+++ b/config_files/build.sh
@@ -38,7 +38,7 @@ usage(){
     echo ""
     echo "-c          Perform configure command for all given modules. Default is off."
     echo ""
-    echo "-w          Add --without-ihm key to build_configure and configure"
+    echo "-w          Add --without-gui key to build_configure and configure"
     echo "            commands for MED module to build its sources without GUI."
     echo "            By default MED sources are built with GUI."
     echo ""
@@ -256,7 +256,7 @@ for module in ${modules}; do
                 # call build_configure
 	        #########################################################
 		if [ $med_with_gui -eq 0 ] && [ ${module} == "MED" ] ; then
-		    add_keys="--without-ihm"
+		    add_keys="--without-gui"
 		fi
 		cd ${module_src}
 		./build_configure ${add_keys} >& ${LOG_DIR}/build_configure_${module}.log
@@ -338,7 +338,7 @@ for module in ${modules}; do
 		echo
 	    else
 		if [ $med_with_gui -eq 0 ] && [ "${module}" == "MED" ] ; then
-		    add_keys="--without-ihm"
+		    add_keys="--without-gui"
 		fi
 		if [  "${module}" == "MED" ] && [ "${METISDIR}" != "" ] && [ "${SCOTCHDIR}" != "" ] ; then
 		    add_keys="--enable-splitter=yes --with-metis=${METISDIR} --with-scotch=${SCOTCHDIR}"