make configure a bit more informative
authorniki <niki>
Fri, 16 Dec 2005 16:53:44 +0000 (16:53 +0000)
committerniki <niki>
Fri, 16 Dec 2005 16:53:44 +0000 (16:53 +0000)
commitc27cdba8f6c436b9040f155b6e59da1a415d6e5a
treea30092515a4b05a71dafb5e84ca86d1bc599defb
parentc988f52c9de381e76ce1f95359301689a3b5ff3c
make configure a bit more informative
configure.in