From d54104a1e5cff04979fe442cadd3018ac583d5d2 Mon Sep 17 00:00:00 2001 From: Brian Murphy <51476176+bmdk@users.noreply.github.com> Date: Tue, 22 Mar 2022 23:53:32 +0100 Subject: [PATCH] fix when PICO_NO_BINARY_INFO is set (#693) Co-authored-by: Brian Murphy --- src/common/pico_binary_info/include/pico/binary_info.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/common/pico_binary_info/include/pico/binary_info.h b/src/common/pico_binary_info/include/pico/binary_info.h index 77b1c08..b5c08e7 100644 --- a/src/common/pico_binary_info/include/pico/binary_info.h +++ b/src/common/pico_binary_info/include/pico/binary_info.h @@ -25,7 +25,5 @@ #if !PICO_ON_DEVICE && !defined(PICO_NO_BINARY_INFO) #define PICO_NO_BINARY_INFO 1 #endif -#if !PICO_NO_BINARY_INFO #include "pico/binary_info/code.h" #endif -#endif