From: Ian Lynagh Date: Sun, 21 Sep 2008 11:15:08 +0000 (+0000) Subject: Make "sh -e boot" work X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=ca3d9a7b9372ffe844c267c6e5034ee0313c281c Make "sh -e boot" work --- diff --git a/boot b/boot index 38d2cb5..18a083e 100644 --- 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