From c9cce7a312f9617c6cdcc5f0325969f2ca6dcfc9 Mon Sep 17 00:00:00 2001 From: timg236 <990920+timg236@users.noreply.github.com> Date: Fri, 19 Jan 2024 14:57:16 +0000 Subject: [PATCH] pico_generate_pio_header: Create OUTPUT_DIR (#1610) Previously, if a custom OUTPUT_DIR was specified but didn't exist then this command would fail. Fixes: https://github.com/raspberrypi/pico-sdk/issues/1609 --- tools/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt index 1b1cbc9d4..b358142cc 100644 --- a/tools/CMakeLists.txt +++ b/tools/CMakeLists.txt @@ -26,6 +26,7 @@ function(pico_generate_pio_header TARGET PIO) endif() if (pico_generate_pio_header_OUTPUT_DIR) + file(MAKE_DIRECTORY ${pico_generate_pio_header_OUTPUT_DIR}) get_filename_component(HEADER_DIR ${pico_generate_pio_header_OUTPUT_DIR} ABSOLUTE) else() set(HEADER_DIR "${CMAKE_CURRENT_BINARY_DIR}")