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 | 1014a28a4ee2a9217109cbff5ced042a520f094e (patch) | |
tree | 262ad4ccddf6e04013fdf96dd7f9a56e08ab2b4b /vest | |
parent | 44abbdc8ea557481db0b24097cdad9c5136a5a72 (diff) |
fix some stuff
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@419 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'vest')
-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; } |