Nice-to-have fix for autogen.sh

[Vitali Lovich]

On Feb 1, 2012, at 9:20 AM, Segher Boessenkool wrote:

>> Sorry.  I think there should be a second auto-gen that's for people who check out from the repository but want to build a release build.
> 
> They can run configure by hand, after running autogen.sh, whether
> autogen.sh already runs configure or not; any run of configure
> completely overrides anything a previous run did.
> 
> 
> Segher
> 
Except for the fact that configure is really slow, I'd agree with you.