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

diff --git a/build_configure b/build_configure
index 9619d3a450df1a6c2d656c340c2ca0a3387fadce..c9424ed5a88af6fcbf396b49001e12cd07c81478 100755 (executable)
--- a/build_configure
+++ b/build_configure
@@ -16,10 +16,10 @@ GHS3DPLUGIN_WITH_GUI="yes"
 for option
 do
   case $option in
-      -with-ihm | --with-ihm)
+      -with-gui | --with-gui)
           GHS3DPLUGIN_WITH_GUI="yes"
           break;;
-      -without-ihm | --without-ihm | -with-ihm=no | --with-ihm=no)
+      -without-gui | --without-gui | -with-gui=no | --with-gui=no)
           GHS3DPLUGIN_WITH_GUI="no"
           break;;
   esac