Include relevant env vars on command line.

Makes it easier to reproduce a build by cut/pasting the configure line.

diff --git a/.github/configure.sh b/.github/configure.sh
index e098730f02d6c33be243450ba22606819a1f65d2..502bf5f0d407991bf253ad077747facf4d0a7fa6 100755 (executable)
--- 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}