diff options
| author | Lennart Poettering <lennart@poettering.net> | 2018-02-26 11:50:12 +0100 |
|---|---|---|
| committer | Lennart Poettering <lennart@poettering.net> | 2018-02-27 19:59:09 +0100 |
| commit | 438428465535f5c86ceef850310a5f6a3b0e15f6 (patch) | |
| tree | ba5bfe473ea51685a345a67b02574b76600cb61b /coccinelle | |
| parent | f09eb7688eeddffd6dab7f86501079f1142c860b (diff) | |
coccinelle: drop empty-if.cocci script
It doesn't work, spits out only rubbish and was already excluded of
run-coccinelle.sh. It's a pitty it doesn't work, but let's drop this
dead piece of code for now.
Diffstat (limited to 'coccinelle')
| -rw-r--r-- | coccinelle/empty-if.cocci | 56 | ||||
| -rwxr-xr-x | coccinelle/run-coccinelle.sh | 1 |
2 files changed, 0 insertions, 57 deletions
diff --git a/coccinelle/empty-if.cocci b/coccinelle/empty-if.cocci deleted file mode 100644 index 026c461ee6..0000000000 --- a/coccinelle/empty-if.cocci +++ /dev/null @@ -1,56 +0,0 @@ -@@ -expression e, f, g, h, i, j; -statement s, t; -@@ -( -if (e) { -( -if (h) s -| -if (h) s else t -| -while (h) s -| -for (h; i; j) s -) -} -| -while (e) { -( -if (h) s -| -if (h) s else t -| -while (h) s -| -for (h; i; j) s -) -} -| -for (e; f; g) { -( -if (h) s -| -if (h) s else t -| -while (h) s -| -for (h; i; j) s -) -} -| -- if (e) { -+ if (e) -s -- } -| -- while (e) { -+ while (e) -s -- } -| -- for (e; f; g) { -+ for (e; f; g) -s -- } -) diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh index 1373b53c5f..e982e3b0fc 100755 --- a/coccinelle/run-coccinelle.sh +++ b/coccinelle/run-coccinelle.sh @@ -1,7 +1,6 @@ #!/bin/bash -e for SCRIPT in ${@-*.cocci} ; do - [ "$SCRIPT" = "empty-if.cocci" ] && continue echo "--x-- Processing $SCRIPT --x--" TMPFILE=`mktemp` spatch --sp-file $SCRIPT --dir $(pwd)/.. 2> "$TMPFILE" || cat "$TMPFILE" |