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 | |
| parent | a8dd69f20696d8135b6c4e05b9f1b2c934fad4a3 (diff) | |
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')
| -rwxr-xr-x | tools/ci.sh | 13 | ||||
| -rwxr-xr-x | tools/codeformat.py | 2 |
2 files changed, 0 insertions, 15 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index a4cbb045a..53e342569 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -357,19 +357,6 @@ function ci_stm32_nucleo_build { } ######################################################################################## -# ports/teensy - -function ci_teensy_setup { - ci_gcc_arm_setup -} - -function ci_teensy_build { - make ${MAKEOPTS} -C mpy-cross - make ${MAKEOPTS} -C ports/teensy submodules - make ${MAKEOPTS} -C ports/teensy -} - -######################################################################################## # ports/unix CI_UNIX_OPTS_SYS_SETTRACE=( diff --git a/tools/codeformat.py b/tools/codeformat.py index 761bde3a8..aee989434 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 |