Re: acl2_2.9.1-1
On Mon, Apr 25, 2005 at 12:02:04PM -0400, Camm Maguire wrote:
> Greetings! Please excuse the long cc list, but I've written about
> this several times already over the past few months with no response.
> The arm buildd is stuck in the 'building' state of acl2, and the sparc
> buildd has not uploaded the successfully built acl2. This situation
> has persisted since shortly after the last upload on 2/22/05.
The build log is like 17MB. That's just *huge*. If you make sure the log
is in a much more sane size, the build logs won't get so easily lost in
mail, I assume mail issues is the reason here, something having eaten
the 17M build log.
--Jeroen
--
Jeroen van Wolffelaar
jeroen@wolffelaar.nl
http://jeroen.A-Eskwadraat.nl
Reply to: