From 759888cec661f94a311d2b4eed10593700a66594 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Mon, 5 Nov 2018 20:50:17 +0100
Subject: [PATCH] Revert "gash: WIP"

This reverts commit fc31c2b8d79d78d47260b96201894bc00fc6a60b.
---
 configure.sh | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/configure.sh b/configure.sh
index aae9b7c9..ae6aa726 100755
--- a/configure.sh
+++ b/configure.sh
@@ -18,18 +18,20 @@
 # You should have received a copy of the GNU General Public License
 # along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
 
-set -ex
+set -e
 
 VERSION=0.18
 
 # parse --prefix=prefix
 cmdline=$(echo "$@")
-p=$(echo "$@" | grep -o '[-][-]prefix=[^ ]*')
-p=$(echo "$p" | sed -e 's,--prefix=,,')
+p=${cmdline##*--prefix=}
+p=${p% *}
+p=${p% -*}
 if [ -z "$p" ]; then
     p=${prefix-/usr/local}
 fi
 prefix=$p
+
 srcdir=${srcdir-$(dirname $0)}
 . ${srcdest}build-aux/trace.sh