diff options
| author | Darren Tucker <dtucker@dtucker.net> | 2021-02-18 15:21:13 +1100 |
|---|---|---|
| committer | Darren Tucker <dtucker@dtucker.net> | 2021-02-18 15:21:13 +1100 |
| commit | 6506cb2798d98ff03a7cc06567c392a81f540680 (patch) | |
| tree | 0251b3f79f0df9e95a6bdcb444fa5a9c4d97ff35 | |
| parent | 93c31a623973b0fad508214593aab6ca94b11dcb (diff) | |
Remove unused arg.
| -rwxr-xr-x | .github/configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/configure.sh b/.github/configure.sh index 869dc824..e098730f 100755 --- a/.github/configure.sh +++ b/.github/configure.sh @@ -1,6 +1,6 @@ #!/bin/sh -. .github/configs $1 $2 +. .github/configs $1 set -x ./configure ${CONFIGFLAGS} |