$NetBSD: patch-configure,v 1.1 2018/03/13 00:31:16 khorben Exp $

Fix parameter expansion when configuring Z3.

--- configure.orig	2016-11-07 22:02:30.000000000 +0000
+++ configure
@@ -14,4 +14,4 @@ if ! $PYTHON -c "print('testing')" > /de
    exit 1
 fi
 
-$PYTHON scripts/mk_make.py $*
+$PYTHON scripts/mk_make.py "$@"
