diff --git a/modules/jenkins/files/slave_scripts/jenkins-sudo-grep.sh b/modules/jenkins/files/slave_scripts/jenkins-sudo-grep.sh index 305337c973..f6c3b26da1 100755 --- a/modules/jenkins/files/slave_scripts/jenkins-sudo-grep.sh +++ b/modules/jenkins/files/slave_scripts/jenkins-sudo-grep.sh @@ -32,6 +32,7 @@ case "$1" in echo "0" > /tmp/jenkins-sudo-log/mtime-pre fi grep -h "$PATTERN" $LOGFILE > /tmp/jenkins-sudo-log/pre + exit 0 ;; post) if [ -f $OLDLOGFILE ]