From 7bf232884dce69e5b46795ff391da13ca83824ea Mon Sep 17 00:00:00 2001 From: maintenance team Date: Wed, 23 Apr 2008 08:34:30 +0000 Subject: [PATCH] *** empty log message *** --- config_files/build.csh | 6 +++--- config_files/build.sh | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) 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}" -- 2.39.2