On Sat, Oct 09, 2010 at 12:18:50PM -0700, Kees Cook wrote:
> MAX=$(getconf _NPROCESSORS_ONLN)
> for i in $(seq $MAX); do
> spatch -max $MAX -index $i "$@"
> done
Forgot the background it in above example. Fixed, expanded:
#!/bin/bash
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
--
Kees Cook
Ubuntu Security Team
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
