diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-09-08 10:47:31 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-09-09 14:26:20 +0200 |
commit | ab0508b05f65b0e254e1e9b669c11566e29ff830 (patch) | |
tree | 44ab5b8cf54811d9a4e53f7ac679ccc13b921a1b /.gitignore | |
parent | 71e7314d0ee46fbc807b630f6c823c9b587c10c0 (diff) | |
download | jenkins.debian.net-ab0508b05f65b0e254e1e9b669c11566e29ff830.tar.xz |
reproducible debian: _build.sh: don't exec abort.sh anymore
the job is not run by jenkins anymore, so no point in calling abort.sh,
futhremore `exec`ing doesn't run the cleanup part in some cases, causing
stale temporary directories to be left behind.
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions