diff --git a/dev/build/functions.sh b/dev/build/functions.sh
index af08a7bf9..e19c3a194 100644
--- a/dev/build/functions.sh
+++ b/dev/build/functions.sh
@@ -128,6 +128,7 @@ check_make()
 
   # if (( VERBOSITY <= $LOG_DEBUG ))
   # then
+  echo "VERBOSITY: $VERBOSITY"
     echo "using make: " $( which make )
   # fi