summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoel Challis <git@zvecr.com>2022-03-11 13:27:29 +0000
committerGitHub <noreply@github.com>2022-03-11 13:27:29 +0000
commit1833e65370395d438b67b98a317e54d27a742c16 (patch)
treec7a4692182c602cfc89ec0f51f477ea677df31c6
parent0015ebad47d332f334b84f65a1e8498f07f3b0c6 (diff)
Workaround for pin_def errors on KINETIS (#16614)
-rw-r--r--platforms/pin_defs.h4
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)