From 672d18a6f070d783f570bca716aa76b7cdc43e6f Mon Sep 17 00:00:00 2001 From: Andrew Scheller Date: Fri, 6 Aug 2021 18:21:59 +0100 Subject: [PATCH] Fix default PICO_BOARD value (#536) --- src/board_setup.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/board_setup.cmake b/src/board_setup.cmake index 86b80f9..405d784 100644 --- a/src/board_setup.cmake +++ b/src/board_setup.cmake @@ -1,4 +1,4 @@ -# PICO_CMAKE_CONFIG: PICO_BOARD, The board name being built for. This is overridable from the user environment, type=string, default=rp2040, group=build +# PICO_CMAKE_CONFIG: PICO_BOARD, The board name being built for. This is overridable from the user environment, type=string, default=pico, group=build if (DEFINED ENV{PICO_BOARD}) set(PICO_BOARD $ENV{PICO_BOARD}) message("Using PICO_BOARD from environment ('${PICO_BOARD}')")