diff options
Diffstat (limited to 'hosts/freebsd-jenkins/usr/local/etc/sudoers')
| -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 ca84d418..d09b6696 100644 --- a/hosts/freebsd-jenkins/usr/local/etc/sudoers +++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers @@ -100,6 +100,7 @@ jenkins ALL= NOPASSWD: /usr/bin/make -j ? buildworld, \ /bin/rm -r /usr/src /usr/obj, \ /bin/rm -r /usr/obj, \ /bin/rm -r /srv/reproducible-results/* /srv/reproducible-results/*.tar.xz, \ + /bin/chflags -R noschg /srv/reproducible-results/*, \ /bin/mkdir /usr/obj, \ /bin/mkdir /usr/src /usr/obj, \ /usr/sbin/chown jenkins /usr/src /usr/obj, \ |