From e2b06b908eeecf13ebb4fd5a4fffd2c378126ab7 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Wed, 25 Sep 2024 15:16:57 +0200
Subject: [PATCH] Do not add SHA to filename, since it not will be able to rm.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 build_pico_fido.sh     | 6 +++---
 workflows/autobuild.sh | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/build_pico_fido.sh b/build_pico_fido.sh
index 4faa108..8308979 100755
--- a/build_pico_fido.sh
+++ b/build_pico_fido.sh
@@ -3,9 +3,9 @@
 VERSION_MAJOR="5"
 VERSION_MINOR="12"
 SUFFIX="${VERSION_MAJOR}.${VERSION_MINOR}"
-if ! [[ -z "${GITHUB_SHA}" ]]; then
-    SUFFIX="${SUFFIX}.${GITHUB_SHA}"
-fi
+#if ! [[ -z "${GITHUB_SHA}" ]]; then
+#    SUFFIX="${SUFFIX}.${GITHUB_SHA}"
+#fi
 
 rm -rf release/*
 mkdir -p build_release
diff --git a/workflows/autobuild.sh b/workflows/autobuild.sh
index 9cb1c3a..b7d2e28 100755
--- a/workflows/autobuild.sh
+++ b/workflows/autobuild.sh
@@ -12,7 +12,7 @@ cd picotool
 git submodule update --init
 mkdir build
 cd build
-cmake ..
+cmake -DPICO_SDK_PATH=../pico-sdk ..
 make -j`nproc`
 sudo make install
 cd ../..