Merge branch 'develop' into 'master'

release 0.0.2 See merge request !9
2016-08-10 11:04:51 +00:00
parent 7d50ae91f9 9f2e9aec8d
commit fc65358c68
22 changed files with 1068 additions and 147 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):