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 /hosts/jenkins/etc/apt | |
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
Diffstat (limited to 'hosts/jenkins/etc/apt')
0 files changed, 0 insertions, 0 deletions