diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-10-08 17:49:35 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-10-08 17:49:35 +0200 |
| commit | c1a76d6abfd5f357c273f1816136cd1a286e58a6 (patch) | |
| tree | 1631b1b6c723437885a68b2ca2d1a9327b9e12e6 | |
| parent | bd56fb560d10fc5cc7756d050120f169f3f4d872 (diff) | |
| download | jenkins.debian.net-c1a76d6abfd5f357c273f1816136cd1a286e58a6.tar.xz | |
reproducible: if 1st+2nd and 2nd+3rd have variing build environment, reschedule the package, instead of accepting the unreproducible result
| -rwxr-xr-x | bin/reproducible_build.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 8b3edf50..26798c82 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -647,12 +647,13 @@ check_buildinfo() { set +e diff $TMPFILE1 $TMPFILE2 RESULT=$? + rm $TMPFILE1 $TMPFILE2 set -e if [ $RESULT -eq 1 ] ; then - irc_message "$REPRODUCIBLE_URL/$SUITE/$ARCH/$SRCPACKAGE had different packages installed in the 1st+2nd builds and also in the 2nd+3rd builds. Please check." + handle_unhandled "problem: different packages were installed in the 1st+2nd builds and also in the 2nd+3rd builds. Please check." fi fi - rm $TMPFILE1 $TMPFILE2 + rm -f $TMPFILE1 $TMPFILE2 } build_rebuild() { |