Fix parameter expansion when configuring Z3

khorben · khorben · commit ae165a539e47 · 2018-03-09T14:20:31.000+01:00
diff --git 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 "$@"
