From 863b852c8002b03bd5ca8aa44c8a5cf09c71f157 Mon Sep 17 00:00:00 2001 From: Jelle van der Waa Date: Sat, 15 Nov 2025 17:59:09 +0100 Subject: [PATCH] coccinelle: error out when spatch is not installed Otherwise parallel keeps spitting out "command not found". --- coccinelle/run-coccinelle.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh index 19ae59e4e5f..ecefbf5302d 100755 --- a/coccinelle/run-coccinelle.sh +++ b/coccinelle/run-coccinelle.sh @@ -33,6 +33,11 @@ case "$1" in ;; esac +if ! command -v spatch >/dev/null; then + echo 'Please install spatch (package "coccinelle")' + exit 1 +fi + if ! parallel -h >/dev/null; then echo 'Please install GNU parallel (package "parallel")' exit 1 -- 2.47.3