From 482f73be10f10b93f818df19fcc8a912c0c371fc Mon Sep 17 00:00:00 2001
From: Darren Tucker <dtucker@dtucker.net>
Date: Thu, 7 Oct 2021 15:55:04 +1100
Subject: [PATCH] Include relevant env vars on command line.

Makes it easier to reproduce a build by cut/pasting the configure line.
---
 .github/configure.sh | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

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