[m-dev.] sed limits on alphas

[Zoltan Somogyi]

I have installed GNU sed 3.02 as /home/mercury/public/apps/alpha/bin/sed;
it handles the new, bigger configure script fine.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------