On Wednesday 16 March 2011 16:45:40, Tom Tromey wrote: > If readline is fixed, I'll enable it. And if it causes problems, we can > deal with it then. Sure. BTW, this is PR9878, which, apparently, I filed. :-D PR9877 is about -Wmissing-prototypes. I wonder about turning that on. -- Pedro Alves