diff options
author | Benedikt Tutzer <e1225461@student.tuwien.ac.at> | 2018-08-20 15:28:09 +0200 |
---|---|---|
committer | Benedikt Tutzer <e1225461@student.tuwien.ac.at> | 2018-08-20 15:28:09 +0200 |
commit | d87c7df27f8268ab849d3f9d84c4b000f83b44e2 (patch) | |
tree | 400e9378637f2a81a80ae63c2c9e6cadd30436a8 /passes/cmds/plugin.cc | |
parent | d41c68ee5ad908db1dd75552816789e493d011bf (diff) | |
download | yosys-d87c7df27f8268ab849d3f9d84c4b000f83b44e2.tar.gz yosys-d87c7df27f8268ab849d3f9d84c4b000f83b44e2.tar.bz2 yosys-d87c7df27f8268ab849d3f9d84c4b000f83b44e2.zip |
Two passes are not allowed to have the same filename
Diffstat (limited to 'passes/cmds/plugin.cc')
-rw-r--r-- | passes/cmds/plugin.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/cmds/plugin.cc b/passes/cmds/plugin.cc index 940092301..1a39140d4 100644 --- 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")) |