diff options
-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} |