Merge pull request #7129 from bandi13/configurePrintout

Print out how ./configure was called
This commit is contained in:
David Garske
2024-01-15 11:01:19 -08:00
committed by GitHub

View File

@@ -9585,6 +9585,8 @@ echo " * keylog export: $ENABLED_KEYLOG_EXPORT"
echo ""
echo "---"
echo "./configure flags: $(./config.status --config)"
fi # $silent != yes
################################################################################