extras/tools: list packages that will be built

This makes it a little more obvious, instead of just saying that tools
are missing or too old.

diff --git a/extras/tools/bootstrap b/extras/tools/bootstrap
index 345ec14667e5a5533ec72af665ecbfeddf397d1c..49fa4242263eccf4313c31a57fbd63f2a1bda595 100755 (executable)
--- a/extras/tools/bootstrap
+++ b/extras/tools/bootstrap
@@ -83,7 +83,7 @@ check_sed
 check protoc
 check ant
 
-[ -n "$NEEDED" ] && mkdir -p build/
+[ -n "$NEEDED" ] && mkdir -p build/ && echo "To-be-built packages: `echo $NEEDED | sed 's/\.//g'`"
 
 CPUS=
 CC=