Install the documented packages up to this point

DOMjudge · May 11, 2024 · 2439eef · 2439eef
1 parent 281a60b
commit 2439eef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gitlab/integration.sh b/gitlab/integration.sh
@@ -105,7 +105,7 @@ fi
 
 if [ ! -d ${DIR}/chroot/domjudge/ ]; then
     cd ${DIR}/misc-tools
-    time sudo ./dj_make_chroot -a amd64 |& tee "$GITLABARTIFACTS/dj_make_chroot.log"
+    time sudo ./dj_make_chroot -a amd64 -i gnat,mono-mcs |& tee "$GITLABARTIFACTS/dj_make_chroot.log"
 fi
 section_end judgehost