diff options
author | 2018-02-26 11:50:12 +0100 | |
---|---|---|
committer | 2018-02-27 19:59:09 +0100 | |
commit | 438428465535f5c86ceef850310a5f6a3b0e15f6 (patch) | |
tree | ba5bfe473ea51685a345a67b02574b76600cb61b /coccinelle | |
parent | doc: add a new doc/ directory, and move two markdown docs into them (diff) | |
download | systemd-438428465535f5c86ceef850310a5f6a3b0e15f6.tar.gz systemd-438428465535f5c86ceef850310a5f6a3b0e15f6.tar.bz2 systemd-438428465535f5c86ceef850310a5f6a3b0e15f6.zip |
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 026c461ee..000000000 --- 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 1373b53c5..e982e3b0f 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" |