X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=339f21dca28f0a1be825b7e4b0b44278e75cd29a;hb=e3d0f33551f53f8f78739faf168a6bb94f676c0d;hp=39e8cd12d5d6b3dd27cc730d89d1c84409d5b82e;hpb=20c633b040a53166431744a8b0a0f8bf440835d6;p=ghc-hetmet.git

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: $!";
 }