logind: when we cannot attach a passed fd to a device, close it

[thirdparty/systemd.git] / coccinelle / run-coccinelle.sh

diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh
index 4c8c08227bbfa63fe803d07fc5bc40a05eb2de4a..22ab66d3dd593c18d0caea47b1709d7854a229fa 100755 (executable)
--- a/coccinelle/run-coccinelle.sh
+++ b/coccinelle/run-coccinelle.sh
@@ -1,5 +1,6 @@
 #!/bin/bash -e
 
+top="$(git rev-parse --show-toplevel)"
 files="$(git ls-files ':/*.[ch]')"
 args=
 
@@ -10,11 +11,17 @@ case "$1" in
                 ;;
 esac
 
-for SCRIPT in ${@-coccinelle/*.cocci} ; do
+if ! parallel -h >/dev/null; then
+        echo 'Please install GNU parallel (package "parallel")'
+        exit 1
+fi
+
+for SCRIPT in ${@-$top/coccinelle/*.cocci} ; do
         echo "--x-- Processing $SCRIPT --x--"
         TMPFILE=`mktemp`
         echo "+ spatch --sp-file $SCRIPT $args ..."
-        spatch --sp-file $SCRIPT $args $files 2>"$TMPFILE" || cat "$TMPFILE"
-        rm "$TMPFILE"
+        parallel --halt now,fail=1 --keep-order --noswap --max-args=20 \
+                 spatch --sp-file $SCRIPT $args ::: $files \
+                 2>"$TMPFILE" || cat "$TMPFILE"
         echo -e "--x-- Processed $SCRIPT --x--\n"
 done