diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-09-08 10:54:15 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-09-09 14:26:20 +0200 |
| commit | 4b9909555c6be1cbcb17c109d94d37ac5e0dbc28 (patch) | |
| tree | 1b050e9c33c2e3c99d3dd9bfa870730bad268695 /hosts/wbq0-armhf-rb/etc/apt/apt.conf.d/80proxy | |
| parent | ab0508b05f65b0e254e1e9b669c11566e29ff830 (diff) | |
| download | jenkins.debian.net-4b9909555c6be1cbcb17c109d94d37ac5e0dbc28.tar.xz | |
reproducible debian: _build.sh: avoid removing the temporary directory twice
the cleanup function is trapped at the exit, so calling `exit` will
already cleanup stuff.
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/wbq0-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions