From: Ian Lynagh <igloo@earth.li>
Date: Sat, 19 Dec 2009 13:53:39 +0000 (+0000)
Subject: When removing $(TOP) with sed, do so case insensitively
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=92b7b8a604b2ccca0c6502c74af477378ef6aad6;hp=92b7b8a604b2ccca0c6502c74af477378ef6aad6;p=ghc-hetmet.git

When removing $(TOP) with sed, do so case insensitively
This avoids problems on Windows, where drive letters may not be the
case we expect.
---