This is an automated email from the git hooks/post-receive script. nthykier pushed a commit to branch master in repository lintian.
commit 294ea7343a74052de9dbd7d7cebc79361ba4a2e2 Author: Niels Thykier <[email protected]> Date: Wed Mar 25 08:13:11 2015 +0100 r/harness: Log when lintian-harness stops early Signed-off-by: Niels Thykier <[email protected]> --- reporting/harness | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/reporting/harness b/reporting/harness index 81e96f3..89fe1fd 100755 --- a/reporting/harness +++ b/reporting/harness @@ -294,7 +294,9 @@ if (not $opt{'reports-only'}) { if ($res) { if ($res == 255) { Die('Lintian harness died with an unhandled exception'); - } elsif ($res != 2 and $res != 3) { + } elsif ($res == 3) { + Log('Lintian harness stopped early due to signal'); + } elsif ($res != 2) { Die("Lintian harness terminated with code $res"); } } elsif ($sig) { -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/lintian/lintian.git -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
