From f0665c4958ad3b6758e4a30377a12b1aafe9de15 Mon Sep 17 00:00:00 2001
From: Rolf Bjarne Kvinge <rolf@xamarin.com>
Date: Mon, 28 Mar 2022 21:08:08 +0200
Subject: [PATCH] [dotnet] Complete rename of DOTNET to SYSTEM_DOTNET.

This was supposed to happen in d3643414e7900134df13f1962f0ffba85965c25e, but
it looks like due to a merge conflict, this remaining part disappeared.
---
 Make.config | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Make.config b/Make.config
index 077b95ac8451..f3db1d0b1eca 100644
--- a/Make.config
+++ b/Make.config
@@ -529,12 +529,12 @@ $(TOP)/dotnet.config: $(TOP)/eng/Versions.props
 	$(Q) mv $@.tmp $@
 
 ifneq ("$(wildcard /usr/local/share/dotnet/dotnet)","")
-DOTNET=/usr/local/share/dotnet/dotnet
+SYSTEM_DOTNET=/usr/local/share/dotnet/dotnet
 else
 ifneq ("$(wildcard /usr/local/share/dotnet/x64/dotnet)","")
-DOTNET=/usr/local/share/dotnet/x64/dotnet
+SYSTEM_DOTNET=/usr/local/share/dotnet/x64/dotnet
 else
-DOTNET=/must/install/dotnet
+SYSTEM_DOTNET=/must/install/dotnet
 endif
 endif