[m-rev.] for review: use sed in tools/binary

[Peter Wang]

On 2008-06-12, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> On 12-Jun-2008, Peter Wang <novalazy at gmail.com> wrote:
> > tools/binary:
> > 	Replace use of non-standard `sub' utility by `sed'.
> 
> Actually, it would be simpler to loop over the list and use "basename".

I wasn't sure if basename is POSIX.

Peter

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------