From d12d18261f11abeaf3f62e00f4dccb084cf15a8c Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Fri, 25 Mar 2022 17:58:41 +0100
Subject: [PATCH] Changing name of generic pico.

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

diff --git a/build_pico_hsm.sh b/build_pico_hsm.sh
index 9a1f294..83ee652 100755
--- a/build_pico_hsm.sh
+++ b/build_pico_hsm.sh
@@ -18,4 +18,4 @@ done
 rm -rf *
 PICO_SDK_PATH=~/Devel/pico/pico-sdk cmake ..
 make -kj20
-mv pico_hsm.uf2 ../release/pico_hsm-$VERSION_MAJOR.$VERSION_MINOR.uf2
\ No newline at end of file
+mv pico_hsm.uf2 ../release/pico_hsm_pico_generic-$VERSION_MAJOR.$VERSION_MINOR.uf2
\ No newline at end of file