# HG changeset patch
# User arpi
# Date 1028056011 0
# Node ID 80e2032480bd50c89112cb5c98566286c1f72895
# Parent  cdcaebfd6e981d1f226f834987bc04bebb24c8fe
It makes sense to me to try and use any locally installed win32 DLLs
found under $prefix before trying the system-wide ones.
patch by Jim Radford <radford@robotics.caltech.edu>

diff -r cdcaebfd6e98 -r 80e2032480bd configure
--- a/configure	Tue Jul 30 18:52:57 2002 +0000
+++ b/configure	Tue Jul 30 19:06:51 2002 +0000
@@ -3239,7 +3239,7 @@
   _win32=no
   if x86 ; then
     if test -z "$_win32libdir" ; then
-      for I in /usr/local/lib/win32 /usr/lib/win32 ; do
+      for I in "$_libdir/win32" /usr/local/lib/win32 /usr/lib/win32 ; do
         if test -d "$I" ; then
           _win32libdir="$I"
           break;