key --with/whithout-ihm has been replaced by --with/whithout-gui

diff --git a/build_configure b/build_configure
index c97ecbaba48add8941b58b26534e6edd56345e7a..2fcfb1d28c3ca349faf9257aa0cbd11fa1273981 100755 (executable)
--- a/build_configure
+++ b/build_configure
@@ -32,10 +32,10 @@ fi
 for option
 do
   case $option in
-      -with-ihm | --with-ihm)
+      -with-gui | --with-gui)
           NETGENPLUGIN_WITH_GUI="yes"
           break;;
-      -without-ihm | --without-ihm | -with-ihm=no | --with-ihm=no)
+      -without-gui | --without-gui | -with-gui=no | --with-gui=no)
           NETGENPLUGIN_WITH_GUI="no"
           break;;
   esac