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/profitbricks-build10-amd64/etc/apt/apt.conf.d/80proxy | |
| 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/profitbricks-build10-amd64/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions