diff options
Diffstat (limited to 'hosts/freebsd-jenkins')
| -rw-r--r-- | hosts/freebsd-jenkins/usr/local/etc/sudoers | 5 |
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). |