Useful script for spatching
[akaros.git] / scripts / spatch / spatch-me.sh
1 #!/bin/bash
2 # Helper to run spatch on multiple files
3
4 if [ $# -lt 3 ]
5 then
6         echo Usage: $0 cocci_file yes/no dir
7         exit -1
8 fi
9
10 COCCI=$1
11
12 INPLACE=""
13
14 if [ $2 = "yes" ]
15 then
16         INPLACE="-in-place"
17 fi
18
19 DIR=$3
20
21
22 FILES=`find $DIR -name '*.[ch]'`
23
24 for i in $FILES
25 do
26         spatch -sp-file $COCCI $i $INPLACE
27 done