configure: don't check polylib header file on --with-polylib-builddir
commitb31d016a663e09ab360f685155140313a477e03e
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 12 Jun 2008 10:56:04 +0000 (12 12:56 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 12 Jun 2008 10:56:04 +0000 (12 12:56 +0200)
tree83164c653e9f357d70ca70382a2b15bfeb82f148
parent70bee6ba99a4c7b5ef2f2230ea5a7cca95313fec
configure: don't check polylib header file on --with-polylib-builddir

In commit 25bc1b2f2c50ec919c640575b14c2e0b1b482247 (configure.in:
don't require polylib to have been compiled prior to configure),
we allowed the use of a configured but not yet built polylib
to be specified, by not depending on the built libraries.
But the corresponding polylib header file is also not usable
yet, so we shouldn't depend on it either during configuration.
configure.in