changeset 6852:80e2032480bd

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>
author arpi
date Tue, 30 Jul 2002 19:06:51 +0000
parents cdcaebfd6e98
children c52dc92ebf4b
files configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;