diff options
Diffstat (limited to 'hosts')
| -rw-r--r-- | hosts/freebsd-jenkins/usr/local/etc/sudoers | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/hosts/freebsd-jenkins/usr/local/etc/sudoers b/hosts/freebsd-jenkins/usr/local/etc/sudoers index 831f220a..3c749c08 100644 --- a/hosts/freebsd-jenkins/usr/local/etc/sudoers +++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers @@ -92,7 +92,8 @@ root ALL=(ALL) ALL # %sudo ALL=(ALL) ALL # for reproducible builds: -jenkins ALL= NOPASSWD: /usr/bin/make buildworld, \ +jenkins ALL= NOPASSWD: /usr/bin/make -j ? buildworld, \ + /usr/bin/make -j ? buildkernel, \ /bin/rm -r /usr/src /usr/obj, \ /bin/rm -r /usr/obj/releasedir /usr/obj/destdir.*, \ /bin/mkdir /usr/src /usr/obj, \ |