diff --git a/tests/script/tjenkins b/tests/script/tjenkins index b05ab3c900..9b93527de9 100755 Binary files a/tests/script/tjenkins and b/tests/script/tjenkins differ