Subject: Re: Makefile.mbr problem - fix?
To: Simon Burge <>
From: Todd Vierling <>
List: tech-toolchain
Date: 05/05/2003 09:39:08
On Mon, 5 May 2003, Simon Burge wrote:

: If there were a host OS with a sed that couldn't do 's/^0*//' then we'd
: need to look at adding it as a host tool.

Or just say `fsck off for that host', since that BRE is so simple and
standard that any such broken `sed' ain't worth the trouble.  8-)

-- Todd Vierling <>