Fix filename when compressing old test logs.

No issue #

diff --git a/jenkins/run-tests.sh b/jenkins/run-tests.sh
index a88d1bc3665abea8db4383076a14b2a1f99b8d7e..c5e56566e3aa4a379db5d18cb4bb05de73f0c5c4 100755 (executable)
--- a/jenkins/run-tests.sh
+++ b/jenkins/run-tests.sh
@@ -173,7 +173,7 @@ rotate_logfile() {
   if [[ -f "$1/$2" ]]; then
     THEDATE=`date +%Y%m%d%H%M%S`
     mv "$1/$2" "$1/$THEDATE-$BUILD_NUMBER-$2"
-    gzip "$1/$THEDATE-$2"
+    gzip "$1/$THEDATE-$BUILD_NUMBER-$2"
   fi
 }