diff options
Diffstat (limited to 'vest')
-rwxr-xr-x | vest/dist-vest.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/vest/dist-vest.pl b/vest/dist-vest.pl index d512dbb1..fd4dbc0e 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -22,6 +22,7 @@ my $MAPINPUT = "$bin_dir/mr_vest_generate_mapper_input"; my $MAPPER = "$bin_dir/mr_vest_map"; my $REDUCER = "$bin_dir/mr_vest_reduce"; my $parallelize = "$bin_dir/parallelize.pl"; +my $sentserver = "$bin_dir/sentserver"; my $SCORER = $FAST_SCORE; die "Can't find $MAPPER" unless -x $MAPPER; my $cdec = "$bin_dir/../decoder/cdec"; @@ -192,7 +193,7 @@ if ($dryrun){ } else { -e $dir || mkdir $dir; mkdir "$dir/hgs"; - modbin("$dir/bin",\$cdec,\$SCORER,\$MAPINPUT,\$MAPPER,\$REDUCER,\$parallelize) if $cpbin; + modbin("$dir/bin",\$cdec,\$SCORER,\$MAPINPUT,\$MAPPER,\$REDUCER,\$parallelize,\$sentserver) if $cpbin; mkdir "$dir/scripts"; my $cmdfile="$dir/rerun-vest.sh"; open CMD,'>',$cmdfile; |