diff --git a/builds/Makefile b/builds/Makefile index bfe48c60061..c23feef2122 100644 --- a/builds/Makefile +++ b/builds/Makefile @@ -55,6 +55,10 @@ print-dotnet-pkg-urls: dotnet-install.sh $(Q) if ! test -f $@-found-it.stamp; then echo "No working urls were found."; exit 1; fi $(Q) rm -f $@-found-it.stamp +# We need https://github.com/dotnet/install-scripts/pull/526, which hasn't been released yet. +# Revert to using https://dot.net/v1/dotnet-install.sh whenever https://dot.net/v1/dotnet-install.sh has been updated. +DOTNET_DOWNLOAD_URL?=https://raw.githubusercontent.com/dotnet/install-scripts/refs/heads/main/src/dotnet-install.sh + DOTNET_DOWNLOAD_URL?=https://dot.net/v1/dotnet-install.sh dotnet-install.sh: Makefile