diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-01 13:55:23 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-01 13:55:23 +0200 |
| commit | e914afb412e8112ebf260a1000fde8ab1d91517a (patch) | |
| tree | 00c19c45d3027f291cb2368aa2a01a5f797fdaec | |
| parent | cd5581b4d9a957214162d1a67a8dfef47bda1003 (diff) | |
pass all arguments
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 $@ |