summaryrefslogtreecommitdiff
path: root/coccinelle
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2018-04-20 15:21:06 +0200
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2018-06-04 11:48:52 +0200
commit00bfe67f6b178056bffcfa9fbfb04ca3fa809989 (patch)
treef4b12767c3d9aa00b3b314db6993453e537ef682 /coccinelle
parent31d31f20218aabe63cd714da7f5f2fca94c98ef4 (diff)
coccinelle: add option to make changes in place
Diffstat (limited to 'coccinelle')
-rwxr-xr-xcoccinelle/run-coccinelle.sh12
1 files changed, 10 insertions, 2 deletions
diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh
index 8c4ed07dd8..4c8c08227b 100755
--- a/coccinelle/run-coccinelle.sh
+++ b/coccinelle/run-coccinelle.sh
@@ -1,12 +1,20 @@
#!/bin/bash -e
files="$(git ls-files ':/*.[ch]')"
+args=
+
+case "$1" in
+ -i)
+ args="$args --in-place"
+ shift
+ ;;
+esac
for SCRIPT in ${@-coccinelle/*.cocci} ; do
echo "--x-- Processing $SCRIPT --x--"
TMPFILE=`mktemp`
- echo "+ spatch --sp-file $SCRIPT ..."
- spatch --sp-file $SCRIPT $files 2>"$TMPFILE" || cat "$TMPFILE"
+ echo "+ spatch --sp-file $SCRIPT $args ..."
+ spatch --sp-file $SCRIPT $args $files 2>"$TMPFILE" || cat "$TMPFILE"
rm "$TMPFILE"
echo -e "--x-- Processed $SCRIPT --x--\n"
done