diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-11-06 14:42:19 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2017-11-06 14:45:31 +0100 |
| commit | c45bf9c48100cb6ceb273fc474af52aa1f20721f (patch) | |
| tree | 9fb9c2fcb2c090235fff9c24cca8e2667b4b74d6 /bin/reproducible_html_rpms.sh | |
| parent | 8bb1c48d65126dd24064930b070a68ff68347cf0 (diff) | |
| download | jenkins.debian.net-c45bf9c48100cb6ceb273fc474af52aa1f20721f.tar.xz | |
udd-query: remove the temporary file with a trap
in case this script is called with the wrong argument, and in case of
failures, etc, the temporary file would be left around otherwise
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'bin/reproducible_html_rpms.sh')
0 files changed, 0 insertions, 0 deletions