1
0
mirror of https://github.com/raspberrypi/pico-sdk.git synced 2025-08-06 06:02:39 +03:00

Clean extra output files (#2504)

Add bin/uf2/dis/hex output files as byproducts, so they get cleaned up

This is only best-effort, because BYPRODUCTS doesn't support generator expressions, so everything must be evaluated at the time pico_add_extra_outputs is called
This commit is contained in:
will-v-pi
2025-06-18 23:07:34 +01:00
committed by GitHub
parent 5ddb441cf1
commit c3c62675e8
3 changed files with 22 additions and 3 deletions

View File

@@ -57,6 +57,7 @@ allowed_missing_functions = set([
"pico_init_picotool",
"pico_add_platform_library",
"pico_get_runtime_output_directory",
"pico_get_output_name",
"pico_set_printf_implementation",
"pico_expand_pico_platform",
])