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 3a1190e8219b95f5bc8d3b357d4eafccdd055898..8e09d2f7fddee11e4574e27926c94962b9cc5d7b 100755 (executable)
--- a/util/check-cocci
+++ b/util/check-cocci
@@ -15,7 +15,12 @@ ret=0
 for spatch in cocci/*.spatch; do
     patch="$(dirname "$spatch")/$(basename "$spatch" .spatch).patch"
     : > "$patch"
-    spatch --sp-file "$spatch" --use-gitgrep --dir "." --very-quiet --include-headers "$@" >> "$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
@@ -24,4 +29,6 @@ for spatch in cocci/*.spatch; do
     fi
 done
 
+rm -f cocci.stderr
+
 exit $ret