# HG changeset patch # User atmos4 # Date 1017112197 0 # Node ID 9588988197f10eda6f00df2e058d2880a81d88ba # Parent 0ba8c5086d11643bdba6edbb35bacd60bdc6b761 I wonder noone noticed this, wrong output of extra[inc|lib] diff -r 0ba8c5086d11 -r 9588988197f1 configure --- a/configure Tue Mar 26 02:38:58 2002 +0000 +++ b/configure Tue Mar 26 03:09:57 2002 +0000 @@ -1175,16 +1175,16 @@ echocheck "extra headers" -if test "$_extraincdir" ; then - echores "$_extraincdir" +if test "$_inc_extra" ; then + echores "$_inc_extra" else echores "none" fi echocheck "extra libs" -if test "$_extralibdir" ; then - echores "$_extralibdir" +if test "$_ld_extra" ; then + echores "$_ld_extra" else echores "none" fi