From 1e3bfa2970967c8914bf67c13ed9a2b24276bded Mon Sep 17 00:00:00 2001
From: maintenance team <salome-mnt@opencascade.com>
Date: Mon, 19 May 2008 12:26:12 +0000
Subject: [PATCH] key --with/whithout-ihm has been replaced by
 --with/whithout-gui

---
 build_configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.39.2