X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;h=1889e8cac8c65504c5ef52f5c7431d3f8ed238df;hp=be9291d979f3fac98a0b9690c528b61250f05aaf;hb=7fc749a43b4b6b85d234fa95d4928648259584f4;hpb=2d2393de269d8c5c9043a047e6ca652f64358610

diff --git a/boot b/boot
index be9291d..1889e8c 100644
--- a/boot
+++ b/boot
@@ -25,4 +25,6 @@ for dir in . libraries/*; do
 done
 
 # Alas, darcs doesn't handle file permissions, so fix a few of them.
-chmod +x boot darcs-all push-all
+for f in boot darcs-all push-all validate; do
+  test -f $f && chmod +x $f
+done