Run spatch jobs in parallel

Also make the script more verbose to identify which patch is being
processed and check for failures in spatch standard error output.

(cherry picked from commit 48c44fe6d43a05b37597070719011ab1e91eb79e)

diff --git a/util/check-cocci b/util/check-cocci
index 61792bd12e3319f23460963da021e69f0665bc70..6f67437f98210a063ec448b44111bfa83f49990d 100755 (executable)
--- a/util/check-cocci
+++ b/util/check-cocci
@@ -3,7 +3,13 @@
 ret=0
 for spatch in cocci/*.spatch; do
     patch="$(dirname "$spatch")/$(basename "$spatch" .spatch).patch"
-    spatch --sp-file="$spatch" --use-gitgrep --dir . --very-quiet > "$patch";
+    : > "$patch"
+    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
+        ret=1
+    fi
     if [ "$(< "$patch" wc -l)" -gt "0" ]; then
        cat "$patch"
        ret=1
@@ -12,4 +18,6 @@ for spatch in cocci/*.spatch; do
     fi
 done
 
+rm -f cocci.stderr
+
 exit $ret