diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-30 18:42:01 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-30 21:53:54 +0200 |
commit | effc564e0c219cc167295c0c0ea623f3fd5ed92b (patch) | |
tree | e622d920f935d86050e8c09eb18f2d3b4ab2bf81 /bin/abort.sh | |
parent | 830dfb59e963bd9233b7eea4ff7acf87239c0dd1 (diff) | |
download | jenkins.debian.net-effc564e0c219cc167295c0c0ea623f3fd5ed92b.tar.xz |
reproducible: build: set +x IFF $DEBUG is false
Diffstat (limited to 'bin/abort.sh')
0 files changed, 0 insertions, 0 deletions