diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-10-26 17:42:10 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-10-31 13:04:41 +1100 |
| commit | e579ebb11b199ab04210fd8a82a3af5be6e4fdc5 (patch) | |
| tree | 360b14db18f3a92ac36cdd819ed79c53db79edf0 /tools/codeformat.py | |
| parent | a8dd69f20696d8135b6c4e05b9f1b2c934fad4a3 (diff) | |
| download | micropython-e579ebb11b199ab04210fd8a82a3af5be6e4fdc5.tar.gz micropython-e579ebb11b199ab04210fd8a82a3af5be6e4fdc5.zip | |
teensy: Remove the teensy port.
This port is largely unmaintained, has limited features (the only hardware
support is for GPIO and timer, and no machine module), only supports a
small number of Teensy boards, and can be confused with the mimxrt support
for Teensy 4.x.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools/codeformat.py')
| -rwxr-xr-x | tools/codeformat.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/codeformat.py b/tools/codeformat.py index 761bde3a81..aee9894345 100755 --- a/tools/codeformat.py +++ b/tools/codeformat.py @@ -76,8 +76,6 @@ EXCLUSIONS = [ # STM32 USB dev/host code is mostly 3rd party. "ports/stm32/usbdev/**/*.[ch]", "ports/stm32/usbhost/**/*.[ch]", - # Teensy core code is 3rd party. - "ports/teensy/core/*.[ch]", # STM32 build includes generated Python code. "ports/*/build*", # not real python files |