From cc41d56847618b0f36b6f39948a8468fdda8828e Mon Sep 17 00:00:00 2001
From: Stefan Hanauska <stefan.hanauska@csg-in.de>
Date: Thu, 2 Jan 2025 12:56:08 +0100
Subject: [PATCH] Also load submodules

---
 .gitpod/setup-env.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitpod/setup-env.sh b/.gitpod/setup-env.sh
index 37a3b906914..c0b1b432e5b 100755
--- a/.gitpod/setup-env.sh
+++ b/.gitpod/setup-env.sh
@@ -18,6 +18,10 @@ fi
 # Clone Moodle repository.
 cd "${GITPOD_REPO_ROOT}" && git clone ${FASTCLONE} --branch "${MOODLE_BRANCH}" --single-branch "${MOODLE_REPOSITORY}" moodle
 
+cd moodle
+git submodule update --init --recursive ${FASTCLONE}
+cd ..
+
 # Download the data file (if given). It will be used to generate some data.
 if [ -n "$DATAFILE" ];
 then