ci/cd test

as6325400 · Sep 19, 2024 · 895ff7f · 895ff7f
1 parent 8bb8688
commit 895ff7f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gitlab/chroot_checks.sh b/gitlab/chroot_checks.sh
@@ -18,7 +18,7 @@ lsb_release -a
 
 # configure, make and install (but skip documentation)
 make configure
-./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge --with-judgehost_chrootdir=${DIR}/chroot/domjudge |& tee "$GITLABARTIFACTS/configure.log"
+./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge --with-judgehost_chrootdir=${DIR}/chroot/domjudge |& tee "$GITLABARTIFACTS/configure.log" 
 make judgehost |& tee "$GITLABARTIFACTS/make.log"
 sudo make install-judgehost |& tee -a "$GITLABARTIFACTS/make.log"
 section_end setup