bindir

git-svn-id: https://ws10smt.googlecode.com/svn/trunk@440 ec762483-ff6d-05da-a07a-a48fb63a330f

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;
     }
 }