From 1d50d5b68c1e3ca38040f67a000ab12748fdcfe4 Mon Sep 17 00:00:00 2001
From: curt <curt>
Date: Tue, 23 Mar 2004 13:43:13 +0000
Subject: [PATCH] For cygwin, make sure to preserve previous contents of
 EXTRA_DIRS.

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index 5f936117a..c00fda299 100644
--- a/configure.ac
+++ b/configure.ac
@@ -106,7 +106,7 @@ case "${host}" in
 
 *-*-cygwin*)
     if test -d /usr/local ; then
-        EXTRA_DIRS="/usr/local"
+        EXTRA_DIRS="${EXTRA_DIRS} /usr/local"
     fi
     ;;