build.sh: print DEBUG.

char-rename
John Benediktsson 2016-11-15 20:52:07 -08:00
parent abf497938b
commit f67fd10de2
1 changed files with 1 additions and 0 deletions

View File

@ -364,6 +364,7 @@ echo_build_info() {
$ECHO OS=$OS
$ECHO ARCH=$ARCH
$ECHO WORD=$WORD
$ECHO DEBUG=$DEBUG
$ECHO FACTOR_BINARY=$FACTOR_BINARY
$ECHO FACTOR_LIBRARY=$FACTOR_LIBRARY
$ECHO FACTOR_IMAGE=$FACTOR_IMAGE