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