From: Matthias Maier Date: Fri, 8 May 2020 03:02:37 +0000 (-0500) Subject: add a helpful error message X-Git-Tag: v9.2.0-rc1~81^2~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d95c7a8eccbf3daf8c00e2fd98959e90a81f9d3;p=dealii.git add a helpful error message --- diff --git a/contrib/utilities/query_testsuite b/contrib/utilities/query_testsuite index b69414c281..ce5b6dea38 100755 --- a/contrib/utilities/query_testsuite +++ b/contrib/utilities/query_testsuite @@ -51,6 +51,12 @@ until [[ "$*" == "" ]]; do shift done +if [ -z "$(command -v jq)" ]; then + echo "Error: need jq executable in path" + echo "Please install jq (sudo apt install jq, sudo yum install jq)" + exit 1 +fi + query_testsuite() { echo "| Host | Configuration | Commit | Build errors | Build warnings | Failing tests | Passing tests |"