summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--hosts/freebsd-jenkins/usr/local/etc/sudoers2
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, \