diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2015-01-25 21:52:19 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-01-25 22:48:48 +0100 |
| commit | 99f79ab74922c24f956693718c3374ba5a77dd8d (patch) | |
| tree | f4492ea9ac224aaa1b5c8e6ce6bbe565428eaa4b /userContent/theme | |
| parent | ba4ba12e90901ccee17970135baa2276d4daf525 (diff) | |
| download | jenkins.debian.net-99f79ab74922c24f956693718c3374ba5a77dd8d.tar.xz | |
Check also if second build failed.
It can happen that the first build was successful, but the second build
not (e.g. because of failing tests, which has already been observed).
In this case, the whole build has to be marked FTBFS and debbindiff
doesn't need to be called.
Diffstat (limited to 'userContent/theme')
0 files changed, 0 insertions, 0 deletions