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

[Zoltan Somogyi]

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".

Zoltan.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------