#!/bin/bash
# Run coccinelle in parallel.
# e.g.: wide-spatch.sh --dir ~/linux --sp_file RULE.cocci
# Kees Cook <kees@outflux.net>
set -e
MAX=$(getconf _NPROCESSORS_ONLN)
dir=$(mktemp -d)
for i in $(seq 0 $(( MAX - 1)) ); do
    spatch -max $MAX -index $i -very_quiet "$@" > $dir/$i.out &
done
wait
cat $dir/*.out
rm -f $dir/*.out
rmdir $dir