Fix test

DOMjudge · May 17, 2023 · 377bcdd · 377bcdd
1 parent e41d90f
commit 377bcdd
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/gitlab/base.sh b/gitlab/base.sh
@@ -66,7 +66,7 @@ echo -e "\033[0m"
 
 # 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 --enable-judgehost --enable-domserver --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge --with-judgehost_chrootdir=${DIR}/chroot/domjudge |& tee "$GITLABARTIFACTS/configure.log"
 make build-scripts domserver judgehost docs |& tee "$GITLABARTIFACTS/make.log"
 sudo make install-domserver install-judgehost install-docs |& tee -a "$GITLABARTIFACTS/make.log"
 

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 --enable-judgehost --enable-domserver --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

diff --git a/gitlab/runpipe-tests.sh b/gitlab/runpipe-tests.sh
@@ -5,7 +5,7 @@
 section_start compile "Compile runpipe"
 # Configure and make the runpipe binaries.
 make configure
-./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge --with-judgehost_chrootdir=${DIR}/chroot/domjudge |& tee "$GITLABARTIFACTS/configure.log"
+./configure --enable-judgehost --enable-domserver --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"
 section_end compile