From d741f82b19be5e1552aacedf4cbf0b8f4c052581 Mon Sep 17 00:00:00 2001
From: mancini <mancini@astron.nl>
Date: Tue, 12 Nov 2024 12:49:39 +0100
Subject: [PATCH] Pull submodules before build
---
scripts/build.sh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/scripts/build.sh b/scripts/build.sh
index 99060fb..f2d70a0 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -19,8 +19,10 @@ if [ -d ${REPO_NAME} ];
then
cd ${REPO_NAME}
git reset --hard
+ git submodule update
else
git clone ${REPO_URL} ${REPO_NAME}
+ git submodule update
cd ${REPO_NAME}
fi
--
GitLab