Thomas,
> > > ./configure --help
> > > Isn't anywhere else yet.
> > Not seeing it. Is this a 7.3 thing? What does it do?
>
> Sorry, yes it is a 7.3 thing.
What does --enable-interval-integers do? I don't want to bother writing up
issues you've already taken care of.
--
-Josh Berkus