diff options
| author | Darren Tucker <dtucker@dtucker.net> | 2021-10-07 15:55:04 +1100 |
|---|---|---|
| committer | Darren Tucker <dtucker@dtucker.net> | 2021-10-07 15:55:04 +1100 |
| commit | 482f73be10f10b93f818df19fcc8a912c0c371fc (patch) | |
| tree | d879b5468142365dd01e067aac25c5645a9c1979 /.github/configure.sh | |
| parent | ef5916b8acd9b1d2f39fad4951dae03b00dbe390 (diff) | |
Include relevant env vars on command line.
Makes it easier to reproduce a build by cut/pasting the configure line.
Diffstat (limited to '.github/configure.sh')
| -rwxr-xr-x | .github/configure.sh | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/.github/configure.sh b/.github/configure.sh index e098730f..502bf5f0 100755 --- a/.github/configure.sh +++ b/.github/configure.sh @@ -2,5 +2,20 @@ . .github/configs $1 -set -x +printf "$ " + +if [ "x$CC" != "x" ]; then + printf "CC='$CC' " +fi +if [ "x$CFLAGS" != "x" ]; then + printf "CFLAGS='$CFLAGS' " +fi +if [ "x$CPPFLAGS" != "x" ]; then + printf "CPPFLAGS='$CPPFLAGS' " +fi +if [ "x$LDFLAGS" != "x" ]; then + printf "LDFLAGS='$LDFLAGS' " +fi + +echo ./configure ${CONFIGFLAGS} ./configure ${CONFIGFLAGS} |