From 8f7b52a387bedc3c2129da9c7f2f6f118af83d69 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Wed, 19 Feb 2025 14:34:18 +0100
Subject: [PATCH] Fix rename board name.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 build_pico_fido.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_pico_fido.sh b/build_pico_fido.sh
index 4b5b362..c2d2069 100755
--- a/build_pico_fido.sh
+++ b/build_pico_fido.sh
@@ -19,5 +19,5 @@ do
     rm -rf *
     PICO_SDK_PATH="${PICO_SDK_PATH}" cmake .. -DPICO_BOARD=$board_name
     make -j`nproc`
-    mv pico_fido.uf2 ../release/pico_fido_$board-$SUFFIX.uf2
+    mv pico_fido.uf2 ../release/pico_fido_$board_name-$SUFFIX.uf2
 done