diff options
| author | Joel Challis <git@zvecr.com> | 2022-03-11 18:50:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-11 18:50:59 +0000 |
| commit | dd32cdf527d4647a9488b1b4c142fff1d663bc56 (patch) | |
| tree | 17a5a3acc20b7389a1cf5f8d2167b6f6710b7a35 /platforms/pin_defs.h | |
| parent | 0eb42e042cb161d961d4d0fd6351eeed122f1e0c (diff) | |
Redo workaround for pin_def errors on KINETIS (#16620)
* Redo workaround for pin_def errors on KINETIS
* Redo workaround for pin_def errors on KINETIS
Diffstat (limited to 'platforms/pin_defs.h')
| -rw-r--r-- | platforms/pin_defs.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/platforms/pin_defs.h b/platforms/pin_defs.h index af2c415f40..341fe89b6e 100644 --- a/platforms/pin_defs.h +++ b/platforms/pin_defs.h @@ -15,10 +15,6 @@ */ #pragma once -// TODO: including this avoids "error: expected identifier before '(' token" errors -// here just to please KINETIS builds... -#include "platform_deps.h" - // useful for direct pin mapping #define NO_PIN (pin_t)(~0) |