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/run-coccinelle.sh | |
parent | f09eb7688eeddffd6dab7f86501079f1142c860b (diff) | |
download | systemd-438428465535f5c86ceef850310a5f6a3b0e15f6.tar.gz |
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/run-coccinelle.sh')
-rwxr-xr-x | coccinelle/run-coccinelle.sh | 1 |
1 files changed, 0 insertions, 1 deletions
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" |