diff options
| author | Steven Chamberlain <steven@pyro.eu.org> | 2014-11-13 13:41:27 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-11-14 13:47:02 +0100 |
| commit | 90fff5f1bd9e20d86f5945c353e4662de5694344 (patch) | |
| tree | 0f851612d7fb5b2a1215891d3b1b2ae2c734693b /bin/reproducible_schedule_on_demand.sh | |
| parent | 65cea15ad95db4aac4f2876514590c577ba4a7b5 (diff) | |
| download | jenkins.debian.net-90fff5f1bd9e20d86f5945c353e4662de5694344.tar.xz | |
g-i: try to stop qemu with SIGINT before SIGKILL
Diffstat (limited to 'bin/reproducible_schedule_on_demand.sh')
0 files changed, 0 insertions, 0 deletions