Closed bertptrs closed 7 years ago
The script dc_make_ubuntu_java_chroot attempts to call dj_make_ubuntu_chroot, which does not exist in the current domjudge debian package.
dc_make_ubuntu_java_chroot
dj_make_ubuntu_chroot
I suspect this should be changed to dj_make_chroot, which is present.
dj_make_chroot
Thanks. This has already been fixed in master in 62115509746742e3e5af641ae69fae100f652fd0. Indeed your suspicion is the right solution.
The script
dc_make_ubuntu_java_chroot
attempts to calldj_make_ubuntu_chroot
, which does not exist in the current domjudge debian package.I suspect this should be changed to
dj_make_chroot
, which is present.