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

2008-05-19 12:26:12 +00:00 · 2008-05-19 12:26:12 +00:00 · 1e3bfa2970
commit 1e3bfa2970
parent 7c2ac5565e
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -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