mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2026-01-28 01:47:21 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

bazel fix

Browse source
This commit is contained in:
Graham Sanderson 2025-07-16 17:24:59 -05:00 • committed by GitHub
parent ae77f5a8c3
commit 59aa88a9c8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
test/kitchen_sink/kitchen_sink.c
View file

@ -11,6 +11,9 @@
#include "hardware/dma.h"
#include "pico/sync.h"
#include "pico/stdlib.h"
#if LIB_PICO_BINARY_INFO
#include "pico/binary_info.h"
#endif
#else
#include KITCHEN_SINK_INCLUDE_HEADER
#endif