diff options
author | HW42 <hw42@ipsumj.de> | 2016-11-06 18:30:46 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-11-07 13:13:38 +0100 |
commit | 1b62001cab79f186cd4b4d83c8cc0f27d84f2707 (patch) | |
tree | f2c0d702d640bb0b4689960f5dc30adbab09bbd6 /hosts/jenkins/etc/shorewall/params | |
parent | ac3b9e7410dfe33dbe8df8d913bcf0faae343ec1 (diff) | |
download | jenkins.debian.net-1b62001cab79f186cd4b4d83c8cc0f27d84f2707.tar.xz |
reproducible Debian: always build under /build
This way the build-path gets included into the .buildinfo like it will
on buildds.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jenkins/etc/shorewall/params')
0 files changed, 0 insertions, 0 deletions