# Coccinelle is not stable enough so far and dies because of
# internal issues sometimes or just never stops. So we specify
# a timeout as well as ignore its error code.
- flags="-D report -no_show_diff -very_quiet -no_includes -include_headers -timeout 60"
+ flags="-D report --no-show-diff --very-quiet --no-includes --include-headers --timeout 60"
# Run coccinelle for each semantic patch in parallel. This may load the
# system too heavily, though. We use aiaiai-locker to make sure
# we have non-scrambled output.
+ #
+ # Also redirect stderr to /dev/null since it crashes sometimes
+ # and prints different kind of uninteresting debugging
+ # information to stderr
aiaiai-locker -s -l "$tmpdir/lockfile" -c \
- "spatch $flags -sp_file $spatch $file_to_check" ||: &
+ "spatch $flags --sp-file $spatch $file_to_check" 2> /dev/null ||: &
pids="$pids $!"
done