[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: acl2.8 on hppa

On Fri, Apr 23, 2004 at 10:49:11AM -0400, Camm Maguire wrote:
> autobuild just failed, and apparently neither sarti nor paer are
> reading my ssh key in the ldap anymore to let me log in.  Any
> suggestions?

yeah - I need to build a new kernel for sarti and paer. :-(

The build log makes it look like lisp issues, rather than necessarily acl2

I should get a new kernel built today or tomorrow, after which logins will
work again.


Reply to: