diff options
-rwxr-xr-x | scripts/bm2_result_watcher.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/bm2_result_watcher.pl b/scripts/bm2_result_watcher.pl index cbe5f33..24094e0 100755 --- a/scripts/bm2_result_watcher.pl +++ b/scripts/bm2_result_watcher.pl @@ -95,6 +95,7 @@ until ($dieNow) { logEntry("Couldn't execute: $@"); } else { system("/bin/cp $workdir$f $tmpdir") == 0 or logEntry("Couldn't execute `cp': " . $workdir . $f); + system("/bin/gzip $tmpdir$f") == 0 or logEntry("Couldn't execute `gzip': " . $tmpdir . $f); system("/bin/rm -f $workdir$f") == 0 or logEntry("Couldn't execute `rm': " . $workdir . $f); logEntry("Done with result file: uploadresults.py --db bm --host $hostname --platform $platform --branch $branch --sha1 $sha1 --file $workdir$f"); } |