summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgraehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-07-13 21:14:18 +0000
committergraehl <graehl@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-07-13 21:14:18 +0000
commit2e885ceeb70c994bcc79cb140f5f7f183c69a950 (patch)
treec6628afb6cda15c21fd13dc96429b17c9e115918
parent3fec04dcb684ebedc976c3896121d67711fb9752 (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-xvest/dist-vest.pl4
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";