From a59b478536829d8617ffb23eefb87bc771383125 Mon Sep 17 00:00:00 2001
From: "jon.h.clark" <jon.h.clark@ec762483-ff6d-05da-a07a-a48fb63a330f>
Date: Fri, 12 Nov 2010 14:54:53 +0000
Subject: Configuration for new scheduler on the LTI cluster

git-svn-id: https://ws10smt.googlecode.com/svn/trunk@714 ec762483-ff6d-05da-a07a-a48fb63a330f
---
 vest/dist-vest.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/vest/dist-vest.pl b/vest/dist-vest.pl
index d9f46f07..59d7b039 100755
--- a/vest/dist-vest.pl
+++ b/vest/dist-vest.pl
@@ -285,8 +285,8 @@ while (1){
 	print STDERR "DECODER SCORE: $dec_score\n";
 
 	# save space
-	`gzip $runFile`;
-	`gzip $decoderLog`;
+	`gzip -f $runFile`;
+	`gzip -f $decoderLog`;
 
 
 	# run optimizer
-- 
cgit v1.2.3