diff options
-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"; |