summaryrefslogtreecommitdiffstats
path: root/hosts/freebsd-jenkins/usr/local/etc
diff options
context:
space:
mode:
Diffstat (limited to 'hosts/freebsd-jenkins/usr/local/etc')
-rw-r--r--hosts/freebsd-jenkins/usr/local/etc/sudoers5
1 files changed, 4 insertions, 1 deletions
diff --git a/hosts/freebsd-jenkins/usr/local/etc/sudoers b/hosts/freebsd-jenkins/usr/local/etc/sudoers
index 3999cde4..6cbddda2 100644
--- a/hosts/freebsd-jenkins/usr/local/etc/sudoers
+++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers
@@ -92,7 +92,10 @@ root ALL=(ALL) ALL
# %sudo ALL=(ALL) ALL
# for reproducible builds:
-jenkins ALL= NOPASSWD: /usr/bin/make buildworld
+jenkins ALL= NOPASSWD: /usr/bin/make buildworld, \
+ rm -r /usr/src /usr/obj, \
+ mkdir /usr/src /usr/obj, \
+ chown jenkins /usr/src /usr/obj
## Uncomment to allow any user to run sudo if they know the password
## of the user they are running the command as (root by default).