Updates spatch-me.sh
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 4 Feb 2015 20:14:44 +0000 (15:14 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sun, 1 Mar 2015 14:36:01 +0000 (09:36 -0500)
Sometimes you need to pass extra arguments to spatch.

scripts/spatch/spatch-me.sh

index 48d22cd..36402ed 100755 (executable)
@@ -3,7 +3,7 @@
 
 if [ $# -lt 3 ]
 then
-       echo Usage: $0 cocci_file yes/no dir
+       echo "Usage: $0 cocci_file yes/no dir [other args to spatch]"
        exit -1
 fi
 
@@ -18,10 +18,11 @@ fi
 
 DIR=$3
 
+shift 3
 
 FILES=`find $DIR -name '*.[ch]'`
 
 for i in $FILES
 do
-       spatch -sp-file $COCCI $i $INPLACE
+       spatch -sp-file $COCCI $i $INPLACE $*
 done