]>
Commit | Line | Data |
---|---|---|
2d0bc684 LP |
1 | #!/bin/bash -e |
2 | ||
3708254f | 3 | for SCRIPT in ${@-*.cocci} ; do |
2d0bc684 LP |
4 | [ "$SCRIPT" = "empty-if.cocci" ] && continue |
5 | echo "--x-- Processing $SCRIPT --x--" | |
6 | TMPFILE=`mktemp` | |
7 | spatch --sp-file $SCRIPT --dir $(pwd)/.. 2> "$TMPFILE" || cat "$TMPFILE" | |
8 | rm "$TMPFILE" | |
9 | echo "--x-- Processed $SCRIPT --x--" | |
10 | echo "" | |
11 | done |