diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-15 18:29:31 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-15 18:42:07 +0200 |
| commit | 0c7a58c92456e4d3c69c38424abf86cde5948a86 (patch) | |
| tree | 17f2403d43b9d59dda5d9766963335464eb36c80 /bin/reproducible_schedule_on_demand.sh | |
| parent | fa84ad0ea13d80dcce563545d187244e36ae0203 (diff) | |
| download | jenkins.debian.net-0c7a58c92456e4d3c69c38424abf86cde5948a86.tar.xz | |
reproducible: build: call timeout with sudo, and not the reverse, as a user-called timeout can't kill a root process + give pbuilder 6 minutes to exit after SIGTERM before SIGKILL
Diffstat (limited to 'bin/reproducible_schedule_on_demand.sh')
0 files changed, 0 insertions, 0 deletions