diff options
| author | teor <teor@torproject.org> | 2019-10-24 11:34:28 +1000 |
|---|---|---|
| committer | teor <teor@torproject.org> | 2019-10-24 11:40:54 +1000 |
| commit | 87ee49e016a100951bb1dd37f2ef57826a951eb1 (patch) | |
| tree | e7fe29e5d12c7596933bed3988155520ff789244 /scripts/coccinelle | |
| parent | 9a96068a0be44bc94ae771225abde3ad8698a800 (diff) | |
| download | tor-87ee49e016a100951bb1dd37f2ef57826a951eb1.tar.gz tor-87ee49e016a100951bb1dd37f2ef57826a951eb1.zip | |
scripts/cocci: Remove unused arguments from try_parse.sh spatch
Part of 31919.
Diffstat (limited to 'scripts/coccinelle')
| -rwxr-xr-x | scripts/coccinelle/try_parse.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/scripts/coccinelle/try_parse.sh b/scripts/coccinelle/try_parse.sh index 6cdd968a0b..a90e51b4aa 100755 --- a/scripts/coccinelle/try_parse.sh +++ b/scripts/coccinelle/try_parse.sh @@ -24,16 +24,18 @@ for fn in "$@"; do fi fi - if spatch -macro_file_builtins "$top"/scripts/coccinelle/tor-coccinelle.h \ - -I "$top" -I "$top"/src -I "$top"/ext --defined COCCI \ + if spatch --macro-file-builtins \ + "$top"/scripts/coccinelle/tor-coccinelle.h \ + --defined COCCI \ --parse-c "$fn" \ 2>/dev/null | grep "perfect = 1" > /dev/null; then : # it's perfect else echo "$fn" if test "${VERBOSE}" != ""; then - spatch -macro_file_builtins "$top"/scripts/coccinelle/tor-coccinelle.h \ - -I "$top" -I "$top"/src -I "$top"/ext --defined COCCI \ + spatch --macro-file-builtins \ + "$top"/scripts/coccinelle/tor-coccinelle.h \ + --defined COCCI \ --parse-c "$fn" fi exitcode=1 |