From b0fd6c75424a60e0c3353a33305d3243aec3bc81 Mon Sep 17 00:00:00 2001 From: tkl Date: Wed, 10 Aug 2016 12:22:11 +0200 Subject: [PATCH] fix double devices in board interface --- source/scripts/board_interface.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/source/scripts/board_interface.py b/source/scripts/board_interface.py index 3fc6c0e..a260ea8 100755 --- 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):