You may also want to save standard error. And to add a timeout. julia
On Sat, 9 Oct 2010, Kees Cook wrote: > 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)
