diff options
author | HW42 <hw42@ipsumj.de> | 2016-11-06 21:59:47 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-11-07 14:36:26 +0100 |
commit | 80f3457426fac1e047ac0d050cf73bb701925214 (patch) | |
tree | a88ab567021aeb8465b1ae702aea0977fa32bec5 /hosts/jenkins/etc/shorewall | |
parent | 47be674e4958eefbf02139f13a136adffce0e582 (diff) | |
download | jenkins.debian.net-80f3457426fac1e047ac0d050cf73bb701925214.tar.xz |
reproducible Debian: vary the source dir name
This hapens for example when some builders use 'dpkg-source -x' and others
build out of a SCM.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jenkins/etc/shorewall')
0 files changed, 0 insertions, 0 deletions