From: Benedikt Tutzer <e1225461@student.tuwien.ac.at>
Date: Mon, 20 Aug 2018 13:28:09 +0000 (+0200)
Subject: Two passes are not allowed to have the same filename
X-Git-Tag: yosys-0.9~179^2~39
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d87c7df27f8268ab849d3f9d84c4b000f83b44e2;p=yosys.git

Two passes are not allowed to have the same filename
---

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