diff options
| author | DavePutz <dwputz@gmail.com> | 2020-11-05 14:25:45 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 14:25:45 -0600 |
| commit | da04efbf2ed205d73de4f0082017ed15c3f59896 (patch) | |
| tree | 7bd011f8733a0cfa391898c7402817da10c001a8 | |
| parent | c2aa54ae661612e68768e10b76fd942af036ecda (diff) | |
Fix missing include in port.c
| -rw-r--r-- | ports/esp32s2/supervisor/port.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/esp32s2/supervisor/port.c b/ports/esp32s2/supervisor/port.c index 2aa01cb15..5cd620440 100644 --- a/ports/esp32s2/supervisor/port.c +++ b/ports/esp32s2/supervisor/port.c @@ -30,6 +30,7 @@ #include "supervisor/port.h" #include "boards/board.h" #include "modules/module.h" +#include "py/runtime.h" #include "freertos/FreeRTOS.h" #include "freertos/task.h" |