From 23ba225e12503e5443c9de01b6fbd80aca62d6f6 Mon Sep 17 00:00:00 2001 From: Artem Bityutskiy Date: Thu, 24 Apr 2014 16:49:36 -0700 Subject: [PATCH] aiaiai-checker: ignore debugging output from spatch spatch is a great tool, but it is still not very stable and crashes sometimes, in which case it prints a lot of debugging stuff to stderr, which we do not want in out logs. Normal warnings go to stdout. Therefore, ignore stderr output of spatch. And switch to the new style options format instead of using the old style. Signed-off-by: Artem Bityutskiy --- helpers/aiaiai-checker | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/helpers/aiaiai-checker b/helpers/aiaiai-checker index 6aa8e79..b265b45 100755 --- a/helpers/aiaiai-checker +++ b/helpers/aiaiai-checker @@ -75,13 +75,17 @@ run_coccinelle() # 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 -- 2.49.0