[Commit-gnuradio] [gnuradio] 01/03: grc: Remove duplicate block paths

[git]

This is an automated email from the git hooks/post-receive script.

jcorgan pushed a commit to branch master
in repository gnuradio.

commit 717c82330829e0820fce1108b2c94165ab83dd74
Author: Martin Braun <address@hidden>
Date:   Wed Jan 7 09:48:45 2015 +0100

    grc: Remove duplicate block paths
---
 grc/base/Platform.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/grc/base/Platform.py b/grc/base/Platform.py
index 9fb6732..a72c21a 100644
--- a/grc/base/Platform.py
+++ b/grc/base/Platform.py
@@ -63,7 +63,7 @@ class Platform(_Element):
         self._key = key
         self._license = license
         self._website = website
-        self._block_paths = block_paths
+        self._block_paths = list(set(block_paths))
         self._block_dtd = block_dtd
         self._default_flow_graph = default_flow_graph
         self._generator = generator