From eed1d5cb2e4b0f9bb8d7fb7de1e553ec204fadc4 Mon Sep 17 00:00:00 2001 From: Florent Kermarrec Date: Mon, 12 Nov 2018 11:47:39 +0100 Subject: [PATCH] generic_platform: use set for sources --- litex/build/generic_platform.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/litex/build/generic_platform.py b/litex/build/generic_platform.py index dbf277dea..c4c1e3ba9 100644 --- a/litex/build/generic_platform.py +++ b/litex/build/generic_platform.py @@ -261,7 +261,7 @@ class GenericPlatform: if name is None: name = self.__module__.split(".")[-1] self.name = name - self.sources = [] + self.sources = set() self.verilog_include_paths = set() self.finalized = False @@ -323,7 +323,7 @@ class GenericPlatform: if library is None: library = "work" - self.sources.append((os.path.abspath(filename), language, library)) + self.sources.add((os.path.abspath(filename), language, library)) def add_sources(self, path, *filenames, language=None, library=None): for f in filenames: