diff options
Diffstat (limited to 'hosts/jenkins')
| -rw-r--r-- | hosts/jenkins/etc/sudoers.d/jenkins | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/sudoers.d/jenkins b/hosts/jenkins/etc/sudoers.d/jenkins index ee9d2d2c..b3e138e3 100644 --- a/hosts/jenkins/etc/sudoers.d/jenkins +++ b/hosts/jenkins/etc/sudoers.d/jenkins @@ -44,6 +44,7 @@ jenkins ALL= \ /usr/bin/dcmd rm *.changes, \ /usr/bin/dcmd rm *.dsc, \ /usr/bin/apt-get update, \ + /usr/bin/killall timeout, \ /usr/sbin/slay 1111, \ /usr/sbin/slay 2222, \ /usr/sbin/slay jenkins |