From 189d377be24988a2f5381506732d7e627196c4dd Mon Sep 17 00:00:00 2001 From: bruelltuete Date: Tue, 6 Sep 2022 17:00:51 +0100 Subject: [PATCH] Only include mutex header if necessary (#991) --- src/rp2_common/pico_stdio/stdio.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/rp2_common/pico_stdio/stdio.c b/src/rp2_common/pico_stdio/stdio.c index 6f9405e..cce9de8 100644 --- a/src/rp2_common/pico_stdio/stdio.c +++ b/src/rp2_common/pico_stdio/stdio.c @@ -9,13 +9,15 @@ #include #include "pico.h" -#include "pico/mutex.h" #if LIB_PICO_PRINTF_PICO #include "pico/printf.h" #endif #include "pico/stdio.h" #include "pico/stdio/driver.h" #include "pico/time.h" +#if PICO_STDOUT_MUTEX +#include "pico/mutex.h" +#endif #if LIB_PICO_STDIO_UART #include "pico/stdio_uart.h"