summaryrefslogtreecommitdiff
path: root/vest/dist-vest.pl
diff options
context:
space:
mode:
authorgraehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-07-13 23:00:43 +0000
committergraehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-07-13 23:00:43 +0000
commit1975a182d76171fee56faf671bedcbf13b9dc9ba (patch)
treeaebf2a688d7dafa191c5857ae5739a0af491f4e7 /vest/dist-vest.pl
parent6887f449107ebc241201a2fccb8a0ae5063a8985 (diff)
vest --epsilon
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@246 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'vest/dist-vest.pl')
-rwxr-xr-xvest/dist-vest.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/vest/dist-vest.pl b/vest/dist-vest.pl
index 6a04b98b..f81a74a3 100755
--- a/vest/dist-vest.pl
+++ b/vest/dist-vest.pl
@@ -64,7 +64,7 @@ if (GetOptions(
"decode-nodes=i" => \$decode_nodes,
"dont-clean" => \$disable_clean,
"dry-run" => \$dryrun,
- "epsilon" => \$epsilon,
+ "epsilon=s" => \$epsilon,
"help" => \$help,
"interval" => \$interval,
"iteration=i" => \$iteration,