diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/keil.py | 3 |
1 files changed, 3 insertions, 0 deletions
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 |