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