diff options
author | Barry Haddow <barry.haddow@gmail.com> | 2011-11-16 21:43:54 +0400 |
---|---|---|
committer | Barry Haddow <barry.haddow@gmail.com> | 2011-11-16 21:43:54 +0400 |
commit | 71c777f01df14c9523e20f118c90396d51678c02 (patch) | |
tree | f017487e82a931d6978ebf05cde367b6cc6a7c4e /scripts | |
parent | 7aa9073abec82ae76f1d3ed02c64e90a061a707f (diff) |
Remove old PRO. Fix running of PRO from mert script.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/training/mert-moses.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/training/mert-moses.pl b/scripts/training/mert-moses.pl index 0ba948f9d..b472daf46 100755 --- a/scripts/training/mert-moses.pl +++ b/scripts/training/mert-moses.pl @@ -728,8 +728,8 @@ while(1) { } my $file_settings = " --ffile $ffiles --scfile $scfiles"; - my $pro_file_settings = "--ffile " . join( "--ffile ", split(/,/, $ffiles)) . - " --scfile " . join( "--scfile ", split(/,/, $scfiles)); + my $pro_file_settings = "--ffile " . join( " --ffile ", split(/,/, $ffiles)) . + " --scfile " . join( " --scfile ", split(/,/, $scfiles)); if ($___START_WITH_HISTORIC_BESTS && defined $prev_init_file) { $file_settings .= " --ifile $prev_init_file,run$run.$weights_in_file"; |