diff options
Diffstat (limited to 'hosts')
| -rw-r--r-- | hosts/freebsd-jenkins/usr/local/etc/sudoers | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hosts/freebsd-jenkins/usr/local/etc/sudoers b/hosts/freebsd-jenkins/usr/local/etc/sudoers index 0be3749c..831f220a 100644 --- a/hosts/freebsd-jenkins/usr/local/etc/sudoers +++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers @@ -94,6 +94,7 @@ root ALL=(ALL) ALL # for reproducible builds: jenkins ALL= NOPASSWD: /usr/bin/make buildworld, \ /bin/rm -r /usr/src /usr/obj, \ + /bin/rm -r /usr/obj/releasedir /usr/obj/destdir.*, \ /bin/mkdir /usr/src /usr/obj, \ /usr/sbin/chown jenkins /usr/src /usr/obj |