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