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 | 2e885ceeb70c994bcc79cb140f5f7f183c69a950 (patch) | |
tree | c6628afb6cda15c21fd13dc96429b17c9e115918 | |
parent | 3fec04dcb684ebedc976c3896121d67711fb9752 (diff) |
vest save cmdline used in rerun.sh
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@244 ec762483-ff6d-05da-a07a-a48fb63a330f
-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"; |