aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-10-01 13:55:23 +0200
committerChristian Grothoff <christian@grothoff.org>2019-10-01 13:55:23 +0200
commite914afb412e8112ebf260a1000fde8ab1d91517a (patch)
tree00c19c45d3027f291cb2368aa2a01a5f797fdaec
parentcd5581b4d9a957214162d1a67a8dfef47bda1003 (diff)
pass all arguments
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 7f5bf251b..c03fc63ad 100755
--- a/configure
+++ b/configure
@@ -115,4 +115,4 @@ chmod +x configure.py
# If $1 is empty, the python script checks the
# environment for PREFIX. We might need more
# variables and switches, such as DESTDIR.
-./configure.py "$1"
+./configure.py $@