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.
pull/10445/head
Jason Ish 1 year ago committed by Victor Julien
parent 6198ea5a91
commit f7114b7fe3

@ -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

Loading…
Cancel
Save