tool/build: show existing targets when verbose

e-dant · Aug 20, 2023 · 4fd8e73 · 4fd8e73
1 parent 5d405cd
commit 4fd8e73
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tool/build b/tool/build
@@ -420,4 +420,10 @@ opt-build-each                    || exit 1 ;
 [ "$RUN_TEST"   = 1 ] && runlog-tests
 [ "$RUN_BENCH"  = 1 ] && runlog-benches
 
+if [ "$VERBOSE" = 1 ]; then
+  opt-platforms | while read -r platform
+  do existing-targets-of-platform "$platform"
+  done
+fi
+
 exit 0