From: Ian Lynagh <igloo@earth.li>
Date: Sun, 1 Aug 2010 12:18:41 +0000 (+0000)
Subject: Remove push-all from file list in boot script (push-all no longer exists)
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=ccc1989726c3f4b94cf18f6a13aba2b5d339d077

Remove push-all from file list in boot script (push-all no longer exists)
---

diff --git a/boot b/boot
index 39e8cd1..339f21d 100644
--- a/boot
+++ b/boot
@@ -54,7 +54,7 @@ foreach $dir (".", glob("libraries/*/")) {
 }
 
 # Alas, darcs doesn't handle file permissions, so fix a few of them.
-for my $file ("boot", "darcs-all", "push-all", "validate") {
+for my $file ("boot", "darcs-all", "validate") {
     chmod 0755, $file if -f $file
         or die "Can't chmod 0755 $file: $!";
 }