diff --git a/build.sh b/build.sh index 900523f275d1f00ba3481077ddc33d33d2faa35b..3ce7fe8c13ccb709c3541fdf6291748c6ec5b2e3 100755 --- a/build.sh +++ b/build.sh @@ -155,6 +155,7 @@ check_prerequisites() for tool in $TOOLS; do if ! ( type $tool >/dev/null 2>&1 ); then echo "Missing \"$tool\" which is a required tool!" | tee -a $LOGFILE + echo "Required are: $TOOLS" | tee -a $LOGFILE return 1 fi done