diff options
| author | Artem Bityutskiy <artem.bityutskiy@linux.intel.com> | 2014-04-24 16:49:36 -0700 |
|---|---|---|
| committer | Artem Bityutskiy <artem.bityutskiy@linux.intel.com> | 2014-04-25 15:15:46 -0700 |
| commit | 23ba225e12503e5443c9de01b6fbd80aca62d6f6 (patch) | |
| tree | 4dd5c4b29d915fa4c8e6850b18d4579eaef22eae | |
| parent | 2d95b45a802eeb70dcee0d254bb9a81f0be6dfa5 (diff) | |
| download | aiaiai-23ba225e12503e5443c9de01b6fbd80aca62d6f6.tar.gz | |
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 <artem.bityutskiy@linux.intel.com>
| -rwxr-xr-x | helpers/aiaiai-checker | 8 |
1 files 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 |