diff options
author | Mattia Rizzolo <mattia@debian.org> | 2016-01-15 23:14:14 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-01-16 11:43:56 +0100 |
commit | a6ea2316c47562dd68fdc63c2434f2867992588a (patch) | |
tree | fd0c5d4f1fcfe7914ee183244b34e77dd383700f /jenkins-home | |
parent | a8be0487a3016f766ae4ae6cbd5a3458d188d8ed (diff) | |
download | jenkins.debian.net-a6ea2316c47562dd68fdc63c2434f2867992588a.tar.xz |
reproducible: build: set --buildinfo-identifier=${ARHC} when calling dpkg-buildpackage, to get a stable and deterministic .buildinfo name
Diffstat (limited to 'jenkins-home')
0 files changed, 0 insertions, 0 deletions