[PATCH 4/4] aiaiai-checker: ignore debugging output from spatch

dedekind1 at gmail.com dedekind1 at gmail.com
Thu Apr 24 17:13:06 PDT 2014

From: Artem Bityutskiy <artem.bityutskiy at linux.intel.com>

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 <artem.bityutskiy at linux.intel.com>
 helpers/aiaiai-checker | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/helpers/aiaiai-checker b/helpers/aiaiai-checker
index 6aa8e79..127aca4 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 $!"

More information about the aiaiai mailing list