summaryrefslogtreecommitdiffstats
path: root/LICENSE
diff options
context:
space:
mode:
authorMattia Rizzolo <mattia@mapreri.org>2015-06-16 23:59:06 +0000
committerHolger Levsen <holger@layer-acht.org>2015-07-05 14:01:20 +0200
commit201d61faf1e8669e7e62179ad1c2bb918523de8b (patch)
tree797a78d8075532f23f1fd882301eccc6054b1e78 /LICENSE
parent29d32cd8a042582ee9389b6607bb0e99d61453ea (diff)
downloadjenkins.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 'LICENSE')
0 files changed, 0 insertions, 0 deletions