Re: axiom: please try stripping binary on powerpc again

[Jonathan Nieder <jrnieder@gmail.com>]

Camm Maguire wrote:

> Greetings!  I just did a by hand build of maxima without the strip in
> sid, and all is well.

I assume you mean without the NO_STRIP (agh, double negatives).

>                        Will try removing on the next upload of
> maxima/acl2/axiom/hol88.  Is there reason to believe that there was a
> bug which has now been fixed?

Just the passage of time and existence of people using powerpc. :)  In
other words, blind hope that binutils would have been fixed some time
in the last five years.  Thanks for trying it.

Sincerely,
Jonathan