diff options
Diffstat (limited to 'hosts/freebsd-jenkins/usr/local')
| -rw-r--r-- | hosts/freebsd-jenkins/usr/local/etc/sudoers | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hosts/freebsd-jenkins/usr/local/etc/sudoers b/hosts/freebsd-jenkins/usr/local/etc/sudoers index eb15bb18..79f1ed0c 100644 --- a/hosts/freebsd-jenkins/usr/local/etc/sudoers +++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers @@ -110,6 +110,7 @@ jenkins ALL= NOPASSWD: /usr/bin/make -j ? buildworld, \ /usr/bin/find /srv/reproducible-results/* -newer /srv/reproducible-results/* -exec touch *, \ /usr/bin/find /srv/reproducible-results/* -print0, \ /usr/bin/tar --no-recursion --null -T - -cJf *.tar.xz, \ + /usr/bin/tar -C /usr/obj/usr/src -cf - repo \ /usr/sbin/service ntpd start, \ /usr/sbin/service ntpd stop, \ /usr/sbin/service ntpd status, \ |