diff options
author | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-13 21:14:18 +0000 |
---|---|---|
committer | graehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-13 21:14:18 +0000 |
commit | 688bb967be06a7a23a85098624b6d7f5f619921c (patch) | |
tree | c6cfc916e9200697cde1f67b950217ab1888532f /vest | |
parent | f7e630b95fdceef16f37eaeda74fe4d4b9ded8f7 (diff) |
vest save cmdline used in rerun.sh
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@244 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'vest')
-rwxr-xr-x | vest/dist-vest.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/vest/dist-vest.pl b/vest/dist-vest.pl index 3f19d83a..6a04b98b 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -171,8 +171,10 @@ if ($dryrun){ open CMD,'>',$cmdfile; print CMD "cd ",&getcwd,"\n"; # print CMD &escaped_cmdline,"\n"; #buggy - last arg is quoted. - print CMD &cmdline,"\n"; + my $cline=&cmdline."\n"; + print CMD $cline; close CMD; + print STDERR $cline; chmod(0755,$cmdfile); unless (-e $initialWeights) { print STDERR "Please specify an initial weights file with --initial-weights\n"; |