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

Re: acl2_2.7-9 failure on akire

Hi, Ingo Juergensmann wrote:

> I think Matthias Urlichs will take appropriate action to this.

Somebody else apparently already has.

(I read the mailing lists only sporadically; if you want something from
me, please email me directly.)

I still think it's a bug to die when building just because $HOME doesn't
exist, though.

Matthias Urlichs

Reply to: