From: maintenance team Date: Mon, 19 May 2008 12:26:12 +0000 (+0000) Subject: key --with/whithout-ihm has been replaced by --with/whithout-gui X-Git-Tag: V4_1_3~3 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=1e3bfa2970967c8914bf67c13ed9a2b24276bded;p=plugins%2Fnetgenplugin.git key --with/whithout-ihm has been replaced by --with/whithout-gui --- diff --git a/build_configure b/build_configure index c97ecba..2fcfb1d 100755 --- 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