From ae165a539e476a032f83ce252582f7b94b644e20 Mon Sep 17 00:00:00 2001
From: Pierre Pronchery <khorben@defora.org>
Date: Fri, 9 Mar 2018 14:20:31 +0100
Subject: [PATCH] Fix parameter expansion when configuring Z3

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 29408d3e7..807fba392 100755
--- a/configure
+++ b/configure
@@ -14,4 +14,4 @@ if ! $PYTHON -c "print('testing')" > /dev/null ; then
    exit 1
 fi
 
-$PYTHON scripts/mk_make.py $*
+$PYTHON scripts/mk_make.py "$@"