Regenerate top-level configure.
authorJoel Brobecker <brobecker@adacore.com>
Fri, 5 Sep 2014 19:19:56 +0000 (12:19 -0700)
committerJoel Brobecker <brobecker@adacore.com>
Fri, 5 Sep 2014 19:23:31 +0000 (12:23 -0700)
commitf8797b5ad9aa357d80578ce020e95f1c43de7c9a
treecac1e1321f51998445c8d09c3d47effa3d5e3df6
parent474ca4f6871d4addb7ce6a177245bce79c89550e
Regenerate top-level configure.

Our top-level configure somehow got out of sync the current
configure.ac, so this patch regenerates it.

ChangeLog:

* configure: Regenerate.
ChangeLog
configure