From 40d2b5fdd4fe6eda48ab2e36c1518c39b36668e4 Mon Sep 17 00:00:00 2001 From: Adam Boardman Date: Mon, 25 Jan 2021 15:00:11 +0000 Subject: [PATCH] Add header needed for USB flashing mode on exit when needed to avoid user having to include the header themselves. --- src/rp2_common/pico_runtime/runtime.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/rp2_common/pico_runtime/runtime.c b/src/rp2_common/pico_runtime/runtime.c index 5a5627b..dba0d3c 100644 --- a/src/rp2_common/pico_runtime/runtime.c +++ b/src/rp2_common/pico_runtime/runtime.c @@ -22,6 +22,10 @@ #include "pico/time.h" #include "pico/printf.h" +#if PICO_ENTER_USB_BOOT_ON_EXIT +#include "pico/bootrom.h" +#endif + #ifndef PICO_NO_RAM_VECTOR_TABLE #define PICO_NO_RAM_VECTOR_TABLE 0 #endif