From c85900320c9e27911b47faec8ab80ac9102d7698 Mon Sep 17 00:00:00 2001 From: nhmall Date: Wed, 15 Nov 2023 12:33:07 -0500 Subject: [PATCH] fetch dos extender from a different location CI was having difficulty connecting --- sys/msdos/fetch-cross-compiler.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/sys/msdos/fetch-cross-compiler.sh b/sys/msdos/fetch-cross-compiler.sh index c11f2c648..df377a613 100755 --- a/sys/msdos/fetch-cross-compiler.sh +++ b/sys/msdos/fetch-cross-compiler.sh @@ -79,7 +79,10 @@ if [ ! -d djgpp/cwsdpmi ]; then #Mac curl http://sandmann.dotster.com/cwsdpmi/csdpmi7b.zip -o csdpmi7b.zip else - wget --quiet --no-hsts http://sandmann.dotster.com/cwsdpmi/csdpmi7b.zip + wget --quiet --no-hsts https://www.delorie.com/pub/djgpp/current/v2misc/csdpmi7b.zip + if [ $? -ne 0 ]; then + wget --quiet --no-hsts --timeout=20 http://sandmann.dotster.com/cwsdpmi/csdpmi7b.zip + fi fi cd djgpp mkdir -p cwsdpmi