Skip to content

Commit

Permalink
Use a newer script to install .NET 10.
Browse files Browse the repository at this point in the history
  • Loading branch information
rolfbjarne committed Oct 11, 2024
1 parent 13bcc15 commit e9ccfff
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions builds/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit e9ccfff

Please sign in to comment.