Skip to content
Snippets Groups Projects
Commit 97fee747 authored by Oliver Behnke's avatar Oliver Behnke
Browse files

List all required tools if one's missing (to ease the pain)

parent 28bea34e
No related branches found
No related tags found
1 merge request!1Move macOS build to 64 bit
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment