domjudge
domjudge copied to clipboard
Don't build chroot based on hostvalues if Distro is set
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.