From a7d61bb4c8fee793a635f31c1eee2286e586690b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81lvaro=20Fern=C3=A1ndez=20Rojas?= <noltari@gmail.com>
Date: Tue, 3 May 2022 12:19:39 +0200
Subject: [PATCH] pico-sdk: update v1.3.0
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
---
 build.sh | 1 +
 pico-sdk | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index a88b320..2bd88a9 100755
--- a/build.sh
+++ b/build.sh
@@ -7,6 +7,7 @@ main () {
 	local cur_dir=$PWD
 
 	if [ ! -d "$PICO_SDK_DIR/.git" ]; then
+		git submodule sync --recursive
 		git submodule update --init --recursive
 	fi
 
diff --git a/pico-sdk b/pico-sdk
index 2d5789e..2062372 160000
--- a/pico-sdk
+++ b/pico-sdk
@@ -1 +1 @@
-Subproject commit 2d5789eca89658a7f0a01e2d6010c0f254605d72
+Subproject commit 2062372d203b372849d573f252cf7c6dc2800c0a