diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-16 23:59:06 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-07-05 14:01:20 +0200 |
| commit | 201d61faf1e8669e7e62179ad1c2bb918523de8b (patch) | |
| tree | 797a78d8075532f23f1fd882301eccc6054b1e78 /jenkins-home | |
| parent | 29d32cd8a042582ee9389b6607bb0e99d61453ea (diff) | |
| download | jenkins.debian.net-201d61faf1e8669e7e62179ad1c2bb918523de8b.tar.xz | |
reproducible: builds: be verbose while creating/deleting directories/files instead of > /dev/null. Also handle the .gz versions by appending {,.gz} to gzippable files. Those output will end up in the jenkins log only, so it won't clutter stuff under rb.d.n
Diffstat (limited to 'jenkins-home')
0 files changed, 0 insertions, 0 deletions