This was for x86_64-apple-darwin14. The patch also works for 
x86_64-apple-darwin10.

Dominique

> Le 6 déc. 2014 à 01:49, Dominique d'Humières <domi...@lps.ens.fr> a écrit :
> 
> Bootstrap just finished with the patch.
> 
> Thanks,
> 
> Dominique

Reply via email to