summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjon.h.clark <jon.h.clark@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-11-12 14:54:53 +0000
committerjon.h.clark <jon.h.clark@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-11-12 14:54:53 +0000
commit55665aa2abe7f9a52e9b24a94ad32bc850e5b2db (patch)
tree6f695c9274f001fa8b9adf72d2962bc29eb51f1a
parent569a2222cdc09e5889d43c3222c7867a4b06cfc1 (diff)
Configuration for new scheduler on the LTI cluster
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@714 ec762483-ff6d-05da-a07a-a48fb63a330f
-rwxr-xr-xvest/dist-vest.pl4
1 files 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