domjudge icon indicating copy to clipboard operation
domjudge copied to clipboard

Don't build chroot based on hostvalues if Distro is set

Open vmcj opened this issue 2 years ago • 0 comments

If for some reason someone has an ubuntu system but wants a Debian chroot the Release was already set to the Ubuntu release. Further in the script do we set a default RELEASE value for that Debian distro but only if its still empty at that point. This should now guard against setting that RELEASE before that point to use a default Debian value.

vmcj avatar Jul 29 '22 20:07 vmcj