*** empty log message ***

diff --git a/config_files/build.csh b/config_files/build.csh
index caa63296cc9e21d686d5fc14560ce0dcec3111bf..f23c60b8d99b7ee7e8ffb398c083aed9a23dce58 100755 (executable)
--- 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