From fea822bc35a14fef79a0472e94f270aa34210fa1 Mon Sep 17 00:00:00 2001
From: Oliver Behnke <oliver.behnke@aei.mpg.de>
Date: Fri, 20 Nov 2020 10:32:30 +0100
Subject: [PATCH] Report all missing tools at once
---
build.sh | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/build.sh b/build.sh
index 4553e9d..1f2bbd2 100755
--- a/build.sh
+++ b/build.sh
@@ -152,13 +152,17 @@ check_prerequisites()
# required toolchain
TOOLS="automake autoconf m4 cmake wget svn tar patch gcc g++ ld libtool libtoolize ar lex yacc pkg-config hg"
+ MISSING=""
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
+ MISSING+="${tool} "
fi
done
+ if [[ -n $MISSING ]]; then
+ echo "Missing required tools: $MISSING" | tee -a $LOGFILE
+ return 1
+ fi
+
return 0
}
--
GitLab