fix double devices in board interface

2016-08-10 12:22:11 +02:00 · 2016-08-10 12:22:11 +02:00 · b0fd6c7542
commit b0fd6c7542
parent 3063445932
1 changed files with 2 additions and 1 deletions
--- a/source/scripts/board_interface.py
+++ b/source/scripts/board_interface.py
@ -16,7 +16,8 @@ def parse_board_file(boardfile):
        if match("^.*struct driver.*$", line):
            line = sub("^.*struct driver", "", line).strip()
            line = sub(" .*$","",line).strip()
-            ret.append(line)
+            if not line in ret:
+                ret.append(line)
    return ret

 def create_board_interface(device_list, outfile):