diff --git a/tools/keil.py b/tools/keil.py index 7d4913dcf8..ce6f690085 100644 --- a/tools/keil.py +++ b/tools/keil.py @@ -51,6 +51,9 @@ def _get_filetype(fn): if fn.rfind('.lib') != -1: return 4 + if fn.rfind('.o') != -1: + return 3 + # other filetype return 5