From f99e33b39fb080de4f1de3e01ea4e9fa37f378a7 Mon Sep 17 00:00:00 2001 From: maintenance team Date: Thu, 22 May 2008 12:20:04 +0000 Subject: [PATCH] *** empty log message *** --- config_files/build.csh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config_files/build.csh b/config_files/build.csh index f6c40e4..acb09bc 100755 --- a/config_files/build.csh +++ b/config_files/build.csh @@ -250,7 +250,7 @@ foreach module (${modules}) ######################################################### # call build_configure ######################################################### - if ( $med_with_gui > 0 && "${module}" == "MED" ) then + if ( $med_with_gui == 0 && "${module}" == "MED" ) then set add_keys="--without-ihm" endif cd ${module_src} @@ -330,7 +330,7 @@ foreach module (${modules}) if ( "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then set add_keys="--with-netgen=${NETGENHOME}" endif - if ( $med_with_gui > 0 && "${module}" == "MED" ) then + if ( $med_with_gui == 0 && "${module}" == "MED" ) then set add_keys="--without-ihm" endif ${module_src}/configure --prefix=$px ${optim} ${add_keys} >& ${LOG_DIR}/configure_${module}.log -- 2.39.2