Will not blindly try to reinstall DGJPP anymore.

This commit is contained in:
Scott Duensing 2023-11-07 19:06:38 -06:00
parent bf33607aa1
commit 2c76506974

View file

@ -143,11 +143,11 @@ function install_x86_dos() {
git clone https://github.com/andrewwutw/build-djgpp.git work/build-djgpp
fi
#if [[ ! -f x-tools/${PLATFORM}/toolchain.cmake ]]; then
if [[ ! -f x-tools/djgpp/setenv ]]; then
pushd work/build-djgpp
./build-djgpp.sh 12.2.0
popd
#fi
fi
}