[lintian] 02/02: harness: Skip report generation when lintian gets a signal

[Niels Thykier <nthykier@moszumanska.debian.org>]

This is an automated email from the git hooks/post-receive script.

nthykier pushed a commit to branch master
in repository lintian.

commit 53228d378f0c8e4fb3eaae49310acaf160d5cc30
Author: Niels Thykier <niels@thykier.net>
Date:   Wed Mar 25 08:31:16 2015 +0100

    harness: Skip report generation when lintian gets a signal
    
    Signed-off-by: Niels Thykier <niels@thykier.net>
---
 reporting/harness | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/reporting/harness b/reporting/harness
index ca808ef..56829b0 100755
--- a/reporting/harness
+++ b/reporting/harness
@@ -303,6 +303,10 @@ if ($opt{'incremental-mode'} or $opt{'full-mode'}) {
                     Die('Lintian harness died with an unhandled exception');
                 } elsif ($res == 3) {
                     Log('Lintian harness stopped early due to signal');
+                    if ($opt{'generate-reports'}) {
+                        Log('Skipping report generation');
+                        $opt{'generate-reports'} = 0;
+                    }
                 } elsif ($res != 2) {
                     Die("Lintian harness terminated with code $res");
                 }

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/lintian/lintian.git