> On IRC, Richi says that this is a parallel make issue. Re-starting > make works around the issue. > > For now, I'm forced to disable Ada bootstraps. Could someone in ada > land take a look at this? I'll have a look. Arno