1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure
index f7d770acef..afd850ab7b 100755
--- a/configure
+++ b/configure
@@ -3070,7 +3070,10 @@ $1 == "LIBRARY_PATH" {
     print "DEFAULT_LIBDIRS=\"";
     for (lib in library_paths) {
         dir = normalize(library_paths[lib]);
-        print quote(dir) " ";
+        if (!(dir in dirs)) {
+            print quote(dir) " ";
+            dirs[dir] = 1;
+        }
     }
     print "\"\n"
 }