coccinelle: error out when spatch is not installed

Otherwise parallel keeps spitting out "command not found".

diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh
index 19ae59e4e5fdc44ae66c3aede51d1156446f83f4..ecefbf5302d4ec1219da27d8268b870aacc517e5 100755 (executable)
--- 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