From 86674fd6caaa40accf47f59db0df817d894aba11 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Wed, 25 Sep 2024 12:00:50 +0200
Subject: [PATCH] Fix build for WS2812 boards.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 src/led/led_pico.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/led/led_pico.c b/src/led/led_pico.c
index 994f0a8..5ff7c9b 100644
--- a/src/led/led_pico.c
+++ b/src/led/led_pico.c
@@ -17,7 +17,7 @@
 
 #include "pico_keys.h"
 
-#ifdef PICO_DEFAULT_LED_PIN
+#if defined(PICO_DEFAULT_LED_PIN) && !defined(PICO_DEFAULT_WS2812_PIN)
 
 void led_driver_init() {
     gpio_init(PICO_DEFAULT_LED_PIN);