From 1833e65370395d438b67b98a317e54d27a742c16 Mon Sep 17 00:00:00 2001
From: Joel Challis <git@zvecr.com>
Date: Fri, 11 Mar 2022 13:27:29 +0000
Subject: [PATCH] Workaround for pin_def errors on KINETIS (#16614)
---
platforms/pin_defs.h | 4 ++++
1 file changed, 4 insertions(+)
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)