diff --git a/.github/configure.sh b/.github/configure.sh index 869dc8245..e098730f0 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}