Avoid duplicate entries in package paths

diff --git a/source/lib/packagemanager.cpp b/source/lib/packagemanager.cpp
index 907bb46405598b73aa82f4e6152e9e8c06381b51..fb9a514573dc9c2b4e2ed20437e1a0efdf1f449b 100644 (file)
--- a/source/lib/packagemanager.cpp
+++ b/source/lib/packagemanager.cpp
@@ -25,12 +25,14 @@ PackageManager::~PackageManager()
 
 void PackageManager::append_package_path(const FS::Path &p)
 {
-       pkg_path.push_back(p);
+       if(!any_equals(pkg_path, p))
+               pkg_path.push_back(p);
 }
 
 void PackageManager::append_binary_package_path(const FS::Path &p)
 {
-       binpkg_path.push_back(p);
+       if(!any_equals(binpkg_path, p))
+               binpkg_path.push_back(p);
 }
 
 void PackageManager::set_no_externals(bool x)