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" }