For cygwin, make sure to preserve previous contents of EXTRA_DIRS.

diff --git a/configure.ac b/configure.ac
index 5f936117a47165063d991ac3bf10b2e463a90819..c00fda2994aa52e66fcb21ef1a356cc56cfd2b8d 100644 (file)
--- 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
     ;;