diff options
| -rw-r--r-- | hosts/freebsd-jenkins/usr/local/etc/sudoers | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hosts/freebsd-jenkins/usr/local/etc/sudoers b/hosts/freebsd-jenkins/usr/local/etc/sudoers index 35f9c9f8..eb15bb18 100644 --- a/hosts/freebsd-jenkins/usr/local/etc/sudoers +++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers @@ -95,7 +95,9 @@ root ALL=(ALL) ALL # for reproducible builds: jenkins ALL= NOPASSWD: /usr/bin/make -j ? buildworld, \ + /usr/bin/make -j ? WITH_REPRODUCIBLE_BUILD=yes buildworld, \ /usr/bin/make -j ? buildkernel, \ + /usr/bin/make -j ? WITH_REPRODUCIBLE_BUILD=yes buildkernel, \ /usr/bin/make -j ? PKG_VERSION=current packages, \ /usr/bin/make -j ? installworld, \ /usr/bin/make -j ? installkernel, \ |