From 0fd49748aa927e3edbd09ac60d596908f0bb8038 Mon Sep 17 00:00:00 2001 From: maintenance team Date: Tue, 22 Jan 2008 10:17:02 +0000 Subject: [PATCH] *** empty log message *** --- config_files/build.csh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config_files/build.csh b/config_files/build.csh index caa6329..f23c60b 100755 --- a/config_files/build.csh +++ b/config_files/build.csh @@ -318,7 +318,7 @@ foreach module (${modules}) if ( "${module}" == "NETGENPLUGIN" && ($?NETGENHOME) ) then set add_keys="--with-netgen=${NETGENHOME}" endif - if ( "${module}" == "MEDWOGUI") ) then + if ( "${module}" == "MEDWOGUI" ) then set add_keys="--without-ihm" endif ${module_src}/configure --prefix=$px ${optim} ${add_keys} >& ${LOG_DIR}/configure_${module}.log -- 2.39.2