diff options
Diffstat (limited to 'hosts')
| -rw-r--r-- | hosts/freebsd-jenkins/usr/local/etc/sudoers | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/hosts/freebsd-jenkins/usr/local/etc/sudoers b/hosts/freebsd-jenkins/usr/local/etc/sudoers index 978b0b84..cd3a3d70 100644 --- a/hosts/freebsd-jenkins/usr/local/etc/sudoers +++ b/hosts/freebsd-jenkins/usr/local/etc/sudoers @@ -104,7 +104,11 @@ jenkins ALL= NOPASSWD: /usr/bin/make -j ? buildworld, \ /usr/sbin/chown jenkins /usr/src, \ /usr/bin/find /srv/reproducible-results/* -newer /srv/reproducible-results/* -exec touch *, \ /usr/bin/find /srv/reproducible-results/* -print0, \ - /usr/bin/tar --null -T - --no-recursion -cJf *.tar.xz + /usr/bin/tar --null -T - --no-recursion -cJf *.tar.xz, \ + /usr/sbin/service ntpd start, \ + /usr/sbin/service ntpd stop, \ + /usr/sbin/service ntpd status, \ + /usr/sbin/ntpdate -b pool.ntp.org ## Uncomment to allow any user to run sudo if they know the password |