diff options
Diffstat (limited to 'hosts/freebsd-jenkins')
| -rw-r--r-- | hosts/freebsd-jenkins/usr/local/etc/sudoers | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/hosts/freebsd-jenkins/usr/local/etc/sudoers b/hosts/freebsd-jenkins/usr/local/etc/sudoers index 9a139c68..e8bcd2bc 100644 --- a/hosts/freebsd-jenkins/usr/local/etc/sudoers +++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers @@ -99,9 +99,14 @@ jenkins ALL= NOPASSWD: /usr/bin/make -j ? buildworld, \ /usr/bin/make -j ? distribution, \ /bin/rm -r /usr/src /usr/obj, \ /bin/rm -r /usr/obj, \ + /bin/rm -r /srv/reproducible-results/* /srv/reproducible-results/*.tar.xz, \ /bin/mkdir /usr/obj, \ /bin/mkdir /usr/src /usr/obj, \ - /usr/sbin/chown jenkins /usr/src /usr/obj + /usr/sbin/chown jenkins /usr/src /usr/obj, \ + /usr/bin/find /srv/reproducible-results/* -exec touch *, \ + /usr/bin/find /srv/reproducible-results/* -print0, \ + /usr/bin/tar --null -T - --no-recursion -cJf *.tar.xz + ## 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). |