diff options
Diffstat (limited to 'hosts/wbd0-armhf-rb')
| -rw-r--r-- | hosts/wbd0-armhf-rb/etc/sudoers.d/jenkins | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/hosts/wbd0-armhf-rb/etc/sudoers.d/jenkins b/hosts/wbd0-armhf-rb/etc/sudoers.d/jenkins index 22751009..911015a5 100644 --- a/hosts/wbd0-armhf-rb/etc/sudoers.d/jenkins +++ b/hosts/wbd0-armhf-rb/etc/sudoers.d/jenkins @@ -41,7 +41,10 @@ jenkins ALL= \ /bin/rm /var/cache/pbuilder/result/*, \ /usr/bin/dcmd rm *.changes, \ /usr/bin/dcmd rm *.dsc, \ - /usr/bin/apt-get update + /usr/bin/apt-get update, \ + /usr/sbin/slay -clean 1111, \ + /usr/sbin/slay -clean 2222, \ + /usr/sbin/slay -clean jenkins # keep these environment variables Defaults env_keep += "http_proxy", env_reset |