Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok

2005-05-21 Thread LaMont Jones
On Sat, May 21, 2005 at 03:58:23PM +0200, Falk Hueffner wrote: > it seems that acl2 now builds on hppa. Can we close this bug? yes. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#233891: [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok

2005-05-21 Thread Falk Hueffner
Hi, it seems that acl2 now builds on hppa. Can we close this bug? -- Falk -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]