diff --git a/build/new-jenkins/linters/run-gergich.sh b/build/new-jenkins/linters/run-gergich.sh index e0fdd334a6d..ba15cf9a928 100755 --- a/build/new-jenkins/linters/run-gergich.sh +++ b/build/new-jenkins/linters/run-gergich.sh @@ -102,34 +102,36 @@ echo "LINTER OK!" EOF LINTER_PID=$! -cat <