From b9e791ca90e2e4c52d71f245a14773516d6fccca Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Wed, 25 Sep 2024 13:49:20 +0200
Subject: [PATCH] Fix nightly build

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

diff --git a/build_pico_fido.sh b/build_pico_fido.sh
index c74225e..4faa108 100755
--- a/build_pico_fido.sh
+++ b/build_pico_fido.sh
@@ -3,9 +3,7 @@
 VERSION_MAJOR="5"
 VERSION_MINOR="12"
 SUFFIX="${VERSION_MAJOR}.${VERSION_MINOR}"
-if [[ -z "${GITHUB_SHA}" ]]; then
-;
-else
+if ! [[ -z "${GITHUB_SHA}" ]]; then
     SUFFIX="${SUFFIX}.${GITHUB_SHA}"
 fi
 
diff --git a/workflows/autobuild.sh b/workflows/autobuild.sh
index 5130fa1..9cb1c3a 100755
--- a/workflows/autobuild.sh
+++ b/workflows/autobuild.sh
@@ -9,7 +9,7 @@ git submodule update --init
 cd ..
 git clone https://github.com/raspberrypi/picotool
 cd picotool
-git submodule update --init lib/mbedtls
+git submodule update --init
 mkdir build
 cd build
 cmake ..