]> git.ipfire.org Git - thirdparty/tor.git/commitdiff
scripts/cocci: Remove unused arguments from try_parse.sh spatch
authorteor <teor@torproject.org>
Thu, 24 Oct 2019 01:34:28 +0000 (11:34 +1000)
committerteor <teor@torproject.org>
Thu, 24 Oct 2019 01:40:54 +0000 (11:40 +1000)
Part of 31919.

scripts/coccinelle/try_parse.sh

index 6cdd968a0be80502710447b3562dfa7f18732b2e..a90e51b4aa5edb8e4ba9683074920e3c2bd66f10 100755 (executable)
@@ -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