From 36d250fc2b83ea3ff956f2ea69456e204441a7fc Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Thu, 18 Aug 2022 23:33:52 +0200
Subject: [PATCH] Github does not clone submodules. So, let's do it

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

diff --git a/workflows/autobuild.sh b/workflows/autobuild.sh
index aa453ee..230d107 100755
--- a/workflows/autobuild.sh
+++ b/workflows/autobuild.sh
@@ -1,5 +1,6 @@
 #!/bin/bash
 
+git submodule update --init
 sudo apt update
 sudo apt install -y cmake gcc-arm-none-eabi libnewlib-arm-none-eabi libstdc++-arm-none-eabi-newlib
 git clone https://github.com/raspberrypi/pico-sdk