make: Print CONFIGFLAGS passed to configure
@@ -266,6 +266,7 @@ $(GPPGDIR)/GNUmakefile : $(GPPGDIR)/configure env.sh
if [ "$(BLD_ARCH)" = "win32" ]; then \
$(MAKE) -C $(GPPGDIR)/src/bin/gpfdist/ext BLD_TOP=$(BLD_TOP); \
fi
+ echo "Running ./configure with CONFIGFLAGS=$(CONFIGFLAGS)\n"
cd $(GPPGDIR) && CC="$(strip $(BLD_CC) $(BLD_CFLAGS))" \
CFLAGS=$(INSTCFLAGS) $(BLD_CONFIG_SHELL) \
./configure $(CONFIGFLAGS) \
@@ -275,6 +276,7 @@ $(GPPGDIR)/GNUmakefile : $(GPPGDIR)/configure env.sh
Debug/GNUmakefile : $(GPPGDIR)/configure env.sh
rm -rf $(INSTLOC)
mkdir -p Debug
+ echo "Running ./configure with CONFIGFLAGS=$(CONFIGFLAGS)\n"
cd Debug && CC="$(strip $(BLD_CC) $(BLD_CFLAGS))" \
CFLAGS=$(INSTCFLAGS) $(BLD_CONFIG_SHELL) \
./configure $(CONFIGFLAGS) \
@@ -284,6 +286,7 @@ Debug/GNUmakefile : $(GPPGDIR)/configure env.sh
Release/GNUmakefile : $(GPPGDIR)/configure env.sh
rm -rf $(INSTLOC)
mkdir -p Release
+ echo "Running ./configure with CONFIGFLAGS=$(CONFIGFLAGS)\n"
cd Release && CC="$(strip $(BLD_CC) $(BLD_CFLAGS))" \
CFLAGS=$(INSTCFLAGS) $(BLD_CONFIG_SHELL) \
./configure $(CONFIGFLAGS) \
