[EMAIL PROTECTED] (Bob Proulx) writes: > > I will verify that that bug exists at least up through 10.20. Between > 10.20 and 11.0 HP changed their make program somewhat.
For what it's worth we got a bug report today about it happening on a "HP-UX null B.10.20 A 9000/898". But another hpux 10.20 had seemed ok in gmp testing (it's down at the moment so I'm not sure what exact version).
