diff --git a/util/check-cocci.sh b/util/check-cocci.sh
index 1f749b137a..9a2cc6ff44 100755
--- a/util/check-cocci.sh
+++ b/util/check-cocci.sh
@@ -18,7 +18,7 @@ for spatch in cocci/*.spatch; do
   echo "Applying semantic patch $spatch..."
   spatch --jobs "${TEST_PARALLEL_JOBS:-1}" --sp-file "$spatch" --use-gitgrep --dir "." --very-quiet --include-headers "$@" >>"$patch" 2>cocci.stderr
   cat cocci.stderr
-  if grep -q -e "parse error" cocci.stderr; then
+  if grep -q -e "parse error" -e "EXN: Failure" cocci.stderr; then
     ret=1
   fi
   if [ "$(wc <"$patch" -l)" -gt "0" ]; then