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 /etc/schroot | |
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 'etc/schroot')
0 files changed, 0 insertions, 0 deletions