In article <Pine.GSO.4.50.0305051523110.15999-100000@rfhs8012.fh-regensburg.de> 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.

-- 
Ben Harris