cocci/run-check: log if parallel command is not found

If CONCURRENCY_LEVEL was set, the script would log a concurrency level
even if the parallel command was not available. Not log if parallel is
not available and set concurrency to 1.

diff --git a/qa/coccinelle/run_check.sh b/qa/coccinelle/run_check.sh
index 325e1732fa5ad8026ec582ba678583eb7f1c0d18..d9a451661b93fc3c54b41606432378fa101870ff 100755 (executable)
--- a/qa/coccinelle/run_check.sh
+++ b/qa/coccinelle/run_check.sh
@@ -29,9 +29,12 @@ else
        BUILT_COCCI_FILES=""
 fi
 
-if [ -z "$CONCURRENCY_LEVEL" ]; then
+if ! command -v parallel > /dev/null; then
+       echo "Concurrency disabled, command 'parallel' not available"
+       CONCURRENCY_LEVEL=1
+elif [ -z "$CONCURRENCY_LEVEL" ]; then
+        echo "No concurrency"
        CONCURRENCY_LEVEL=1
-       echo "No concurrency"
 else
        echo "Using concurrency level $CONCURRENCY_LEVEL"
 fi