When removing $(TOP) with sed, do so case insensitively
authorIan Lynagh <igloo@earth.li>
Sat, 19 Dec 2009 13:53:39 +0000 (13:53 +0000)
committerIan Lynagh <igloo@earth.li>
Sat, 19 Dec 2009 13:53:39 +0000 (13:53 +0000)
This avoids problems on Windows, where drive letters may not be the
case we expect.


No differences found