mirror/pico-sdk
1
0
Fork 0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-04-16 23:43:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add docstrings for new compilation mode override flags

Browse Source
This commit is contained in:
Brad Nolan 2025-04-05 09:27:33 +13:00
parent c565e266d8
commit 39dc067a42
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bazel/config/BUILD.bazel
View File

@ -295,11 +295,13 @@ label_flag(
build_setting_default = "//bazel:empty_cc_lib",
)
# PICO_BAZEL_CONFIG: PICO_COMPILATION_OPT_OVERRIDE, Override the default opt compilation mode arguments to none, type=bool, default=0, group=build
bool_flag(
name = "PICO_COMPILATION_OPT_OVERRIDE",
build_setting_default = False,
)
# PICO_BAZEL_CONFIG: PICO_COMPILATION_DEBUG_OVERRIDE, Override the default dbg compilation mode arguments to none, type=bool, default=0, group=build
bool_flag(
name = "PICO_COMPILATION_DEBUG_OVERRIDE",
build_setting_default = False,