diff options
-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 5f99d4f0..f0ee99f9 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -174,10 +174,11 @@ sub modbin { local $_; my $bindir=shift; `mkdir -p $bindir`; + -d $bindir || die "couldn't make bindir $bindir"; for (@_) { my $src=$$_; $$_="$bindir/".basename($src); - `cp $src $$_`; + `cp -p $src $$_`; die "cp $src $$_ failed: $!" unless $? == 0; } } |