diff options
| author | Joel Challis <git@zvecr.com> | 2022-03-11 13:27:29 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-11 13:27:29 +0000 |
| commit | 1833e65370395d438b67b98a317e54d27a742c16 (patch) | |
| tree | c7a4692182c602cfc89ec0f51f477ea677df31c6 | |
| parent | 0015ebad47d332f334b84f65a1e8498f07f3b0c6 (diff) | |
Workaround for pin_def errors on KINETIS (#16614)
| -rw-r--r-- | platforms/pin_defs.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/platforms/pin_defs.h b/platforms/pin_defs.h index 341fe89b6e..af2c415f40 100644 --- a/platforms/pin_defs.h +++ b/platforms/pin_defs.h @@ -15,6 +15,10 @@ */ #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) |