Commit ccc19897 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

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

parent 91987342
......@@ -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: $!";
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment