From 2428882c9535aaf6761daa197472bd4914ef3558 Mon Sep 17 00:00:00 2001
From: maintenance team <salome-mnt@opencascade.com>
Date: Mon, 19 May 2008 12:27:17 +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 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
-- 
2.39.2