From 498720e0c1d12e0788a02304c720fb3b1689045d Mon Sep 17 00:00:00 2001 From: Egor Bogatov Date: Fri, 13 Mar 2020 19:18:10 +0300 Subject: [PATCH] [mono] Track .dotnet runtime version (#33180) MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit * Track .dotnet runtime version correctly * Use BundledNETCoreAppPackageVersion * Rollback to an error * Update src/mono/mono.proj Co-Authored-By: Alexander Köplinger Co-authored-by: Alexander Köplinger --- src/mono/mono.proj | 3 ++- src/mono/netcore/Makefile | 4 ++++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/mono/mono.proj b/src/mono/mono.proj index 04e6b0a..3b187a1 100644 --- a/src/mono/mono.proj +++ b/src/mono/mono.proj @@ -1,7 +1,6 @@ - $(ArtifactsObjDir)mono/$(PlatformConfigPathPart)/ false @@ -577,6 +576,8 @@ + + diff --git a/src/mono/netcore/Makefile b/src/mono/netcore/Makefile index 77ec080..eb04765 100644 --- a/src/mono/netcore/Makefile +++ b/src/mono/netcore/Makefile @@ -1,3 +1,7 @@ +ifeq ($(wildcard ../../../.dotnet),) + $(info Downloading local dotnet...) +endif + DOTNET := $(shell bash init-tools.sh | tail -1) # DOTNET_MONO is a copy of DOTNET (local .dotnet) with Mono Runtime bits (see patch-mono-dotnet rule) DOTNET_MONO = ../../../.dotnet-mono/dotnet -- 2.7.4