diff options
author | redpony <redpony@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-26 16:05:03 +0000 |
---|---|---|
committer | redpony <redpony@ec762483-ff6d-05da-a07a-a48fb63a330f> | 2010-07-26 16:05:03 +0000 |
commit | b9e8265aa1f9cc9a33b2c67182ea84c39066b30b (patch) | |
tree | 445d12a18cf0db1fe085e7eeaa621703a1b6e05d | |
parent | 94b7112d6acf69194a4e431ee551ebfdc690cdd3 (diff) |
fix some stuff
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@419 ec762483-ff6d-05da-a07a-a48fb63a330f
-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 e445b4a0..3a39545b 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -58,7 +58,7 @@ my $oracleb=20; my $dirargs=''; my $density_prune; my $usefork; -my $cpbin=1; +my $cpbin=0; # Process command-line options Getopt::Long::Configure("no_auto_abbrev"); if (GetOptions( @@ -174,6 +174,7 @@ sub modbin { for (@_) { my $src=$$_; $$_="$bindir/".`basename $src`; + chomp $$_; `cp $src $$_`; die "cp $src $$_ failed: $!" unless $? == 0; } |