diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-19 21:11:04 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-19 23:17:53 +0200 |
| commit | 3dfdc40bf58e17b33e384f5f73d110953d659285 (patch) | |
| tree | cd662e37b8194f1c44936f2169b623a02cf5aaec /bin/abort.sh | |
| parent | b270ab452a63fb798dbf2f9b30800593949d82b9 (diff) | |
| download | jenkins.debian.net-3dfdc40bf58e17b33e384f5f73d110953d659285.tar.xz | |
reproducible: remote_scheduler: don't require the -s option at argparse level, bug check it later on (this allow passing just --null via argv)
Diffstat (limited to 'bin/abort.sh')
0 files changed, 0 insertions, 0 deletions