Debug verbosity

j-woz · j-woz · commit 26bb46205e61 · 2024-09-05T11:59:03.000-05:00
diff --git 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
 
