Two passes are not allowed to have the same filename

diff --git a/passes/cmds/plugin.cc b/passes/cmds/plugin.cc
index 940092301af25b9f06625a51b0d7c78a2e229d3b..1a39140d4dd1ac6275fbcd395a8e003477b5dea7 100644 (file)
--- a/passes/cmds/plugin.cc
+++ b/passes/cmds/plugin.cc
@@ -44,7 +44,7 @@ void load_plugin(std::string filename, std::vector<std::string> aliases)
        if (filename.find('/') == std::string::npos)
                filename = "./" + filename;
 
-       if (!loaded_plugins.count(filename)) {
+       if (!loaded_plugins.count(filename) && !loaded_python_plugins.count(filename)) {
 
                #ifdef WITH_PYTHON
                if(boost::algorithm::ends_with(filename, ".py"))