#!/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