diff --git a/tools/resources/__init__.py b/tools/resources/__init__.py index 1514365074..be0ca9a22e 100644 --- a/tools/resources/__init__.py +++ b/tools/resources/__init__.py @@ -467,6 +467,7 @@ class Resources(object): ".h": FileType.HEADER, ".hh": FileType.HEADER, ".hpp": FileType.HEADER, + ".inc": FileType.HEADER, ".o": FileType.OBJECT, ".hex": FileType.HEX, ".bin": FileType.BIN,