Make some profiling flags dynamic

[ghc-hetmet.git] / boot

diff --git a/boot b/boot
index 38d2cb5..18a083e 100644 (file)
--- a/boot
+++ b/boot
@@ -25,6 +25,9 @@ done
 # Alas, darcs doesn't handle file permissions, so fix a few of them.
 for f in boot darcs-all push-all validate
 do
-    test -f $f && chmod +x $f
+    if test -f $f
+    then
+        chmod +x $f
+    fi
 done