Fixup

DOMjudge · Feb 20, 2024 · 9c5b302 · 9c5b302
1 parent 5535b71
commit 9c5b302
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/chroot-checks.yml b/.github/workflows/chroot-checks.yml
@@ -32,7 +32,7 @@ jobs:
       - name: Setup domjudge
         run: |
           make configure
-          ./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge
+          ./configure --with-baseurl='http://localhost/domjudge/' --with-domjudge-user=domjudge --with-judgehost_chrootdir="/__w/domjudge/domjudge/chroot/domjudge"
           make judgehost
           sudo make install-judgehost
       - name: Run chroot content tests

diff --git a/misc-tools/dj_make_chroot.in b/misc-tools/dj_make_chroot.in
@@ -26,6 +26,7 @@ trap cleanup EXIT
 
 # Default directory where to build the chroot tree:
 CHROOTDIR="@judgehost_chrootdir@"
+printenv
 
 # Fallback Debian and release (codename) to bootstrap (note: overridden right below):
 DISTRO="Debian"