Subject: Re: Makefile.mbr problem - fix?
To: None <email@example.com>
From: Ben Harris <firstname.lastname@example.org>
Date: 05/05/2003 14:29:55
In article <Pine.GSO.email@example.com> you write:
>Problem is that it uses sed(1) to strip leading zeroes, and I'm not sure
>that's ok. At least there is no $(SED) macro defined, is it ok to use
>sed(1) in that way? (Thinking about cross builds...)
As long as you don't use non-POSIX features of sed, it's OK. We only have
variables where we might need to provide our own version of a utility if the
host one turns out to be deficient.