From: sven.panne@aedion.de <unknown>
Date: Sat, 25 Aug 2007 19:32:16 +0000 (+0000)
Subject: Be more flexible when trying to make scripts executable
X-Git-Tag: Before_type_family_merge~4
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=e97891e69706e84761c6bcac783526f9dafe7f2e

Be more flexible when trying to make scripts executable
---

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