#!/bin/bash | |
# Helper to run spatch on multiple files | |
if [ $# -lt 3 ] | |
then | |
echo "Usage: $0 cocci_file yes/no dir [other args to spatch]" | |
exit -1 | |
fi | |
COCCI=$1 | |
INPLACE="" | |
if [ $2 = "yes" ] | |
then | |
INPLACE="-in-place" | |
fi | |
DIR=$3 | |
shift 3 | |
FILES=`find $DIR -name '*.[ch]'` | |
for i in $FILES | |
do | |
spatch -sp-file $COCCI $i $INPLACE $* | |
done |