From 1e6c122fc97a058e0dbad1dc3e0960b54365d9f3 Mon Sep 17 00:00:00 2001 From: Graham Sanderson Date: Wed, 18 May 2022 10:39:17 -0500 Subject: [PATCH] gate inclusion of pico.h in binary info, so as not to break picotool builds (#836) --- src/common/pico_binary_info/include/pico/binary_info/code.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/common/pico_binary_info/include/pico/binary_info/code.h b/src/common/pico_binary_info/include/pico/binary_info/code.h index 0f1cd1c..9478477 100644 --- a/src/common/pico_binary_info/include/pico/binary_info/code.h +++ b/src/common/pico_binary_info/include/pico/binary_info/code.h @@ -7,7 +7,12 @@ #ifndef _PICO_BINARY_INFO_CODE_H #define _PICO_BINARY_INFO_CODE_H +// pico.h is not available when PICO_NO_BINARY_INFO=1 is used for builds outside of the SDK (e.g. picotool) +// and only needed anyway (because of macro definitions) in PICO_NO_BINARY_INFO=0 builds +#if !PICO_NO_BINARY_INFO #include "pico.h" +#endif + #include "pico/binary_info/structure.h" #if !PICO_NO_BINARY_INFO