diff options
Diffstat (limited to 'hosts/freebsd-jenkins')
| -rw-r--r-- | hosts/freebsd-jenkins/usr/local/etc/sudoers | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/hosts/freebsd-jenkins/usr/local/etc/sudoers b/hosts/freebsd-jenkins/usr/local/etc/sudoers index 6cbddda2..0be3749c 100644 --- a/hosts/freebsd-jenkins/usr/local/etc/sudoers +++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers @@ -93,9 +93,9 @@ root ALL=(ALL) ALL # for reproducible builds: jenkins ALL= NOPASSWD: /usr/bin/make buildworld, \ - rm -r /usr/src /usr/obj, \ - mkdir /usr/src /usr/obj, \ - chown jenkins /usr/src /usr/obj + /bin/rm -r /usr/src /usr/obj, \ + /bin/mkdir /usr/src /usr/obj, \ + /usr/sbin/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). |