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 /userContent/presentations/2016-11-30-Profitbricks/css/theme | |
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 'userContent/presentations/2016-11-30-Profitbricks/css/theme')
0 files changed, 0 insertions, 0 deletions