pico_generate_pio_header: Create OUTPUT_DIR (raspberrypi#1610)

Previously, if a custom OUTPUT_DIR was specified but didn't exist then this command would fail. Fixes: raspberrypi#1609
peterharperuk · Jan 19, 2024 · c9cce7a · c9cce7a
1 parent f1c6fc8
commit c9cce7a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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}")