fix when PICO_NO_BINARY_INFO is set (#693)

Co-authored-by: Brian Murphy <brm@robotize.com>
This commit is contained in:
Brian Murphy 2022-03-22 23:53:32 +01:00 committed by GitHub
parent bc3484e793
commit d54104a1e5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,7 +25,5 @@
#if !PICO_ON_DEVICE && !defined(PICO_NO_BINARY_INFO) #if !PICO_ON_DEVICE && !defined(PICO_NO_BINARY_INFO)
#define PICO_NO_BINARY_INFO 1 #define PICO_NO_BINARY_INFO 1
#endif #endif
#if !PICO_NO_BINARY_INFO
#include "pico/binary_info/code.h" #include "pico/binary_info/code.h"
#endif #endif
#endif