From 8b2c4494033e25d0356ba85e7c8a1bd8599cb514 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20Gl=C3=A4ser?= <dennis.a.glaeser@gmail.com>
Date: Sun, 11 Feb 2024 14:01:20 +0000
Subject: [PATCH] [ci][default] remove cached submodules and reinit if required
---
.gitlab-ci/default.yml | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/.gitlab-ci/default.yml b/.gitlab-ci/default.yml
index 743d01550c..8d1d153d93 100644
--- a/.gitlab-ci/default.yml
+++ b/.gitlab-ci/default.yml
@@ -33,6 +33,11 @@ configure:
stage: configure
script:
- |
+ # remove submodules (may be present due to caching done by gitlab, although this pipeline may not support the submodule)
+ rm -rf deps/*
+ if [ "${GIT_SUBMODULE_STRATEGY}" == "recursive" ]; then
+ git submodule update --init
+ fi
echo "source ${DUNE_OPTS_FILE}" > opts_file.opts
echo "CMAKE_FLAGS=\"\${CMAKE_FLAGS} -DCXX_MAX_STANDARD=${CXX_MAX_STANDARD} -DCMAKE_EXPORT_COMPILE_COMMANDS=ON\"" >> opts_file.opts
- dunecontrol --opts=opts_file.opts --current configure
--
GitLab