added BUILD_OS to reportEnvs

2020-07-22 12:51:56 +01:00 · 2020-07-22 12:51:56 +01:00 · 3f930d3212
parent 9fc875bbd1
commit 3f930d3212
1 changed files with 1 additions and 0 deletions
--- a/buildScripts/reportEnvs
+++ b/buildScripts/reportEnvs
@ -17,6 +17,7 @@ echo "Build env:"
 echo "           prefix: [$PDF2HTMLEX_PREFIX]"
 echo "       unattended: [$UNATTENDED]"
 echo "    make parallel: [$MAKE_PARALLEL]"
+echo "               OS: [$BUILD_OS]"
 echo "     distribution: [$BUILD_DIST]"

 echo "pdf2htmlEX env:"