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

#!/bin/bash -e

for SCRIPT in ${@-*.cocci} ; do
        [ "$SCRIPT" = "empty-if.cocci" ] && continue
        echo "--x-- Processing $SCRIPT --x--"
        TMPFILE=`mktemp`
        spatch --sp-file $SCRIPT --dir $(pwd)/.. 2> "$TMPFILE" || cat "$TMPFILE"
        rm "$TMPFILE"
        echo "--x-- Processed $SCRIPT --x--"
        echo ""
done
Commit	Line	Data
2d0bc684 LP	1	#!/bin/bash -e
2d0bc684 LP	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