mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-12-10 07:14:36 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

correct bazel config

Browse source
This commit is contained in:
Hardy Griech 2025-10-15 18:51:48 +02:00
parent 4a775eedfd
commit 9dd3ce5bcf
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/rp2_common/pico_clib_interface/BUILD.bazel
View file

@ -98,8 +98,7 @@ cc_library(
target_compatible_with = compatible_with_rp2(),
)
# For now, picolibc doesn't need to provide any headers.
alias(
cc_library(
name = "picolibc_interface",
hdrs = [
"include/picolibc/sys/cdefs.h",