From 69bf0022d522e86e1f27aaabeeab47284cfdbd5e Mon Sep 17 00:00:00 2001
From: JustArchi <JustArchi@JustArchi.net>
Date: Sun, 18 Sep 2016 11:15:24 +0200
Subject: [PATCH] Don't use MONO_DNS

---
 mono_envsetup.sh | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/mono_envsetup.sh b/mono_envsetup.sh
index 855b35d47..9a0aff283 100644
--- a/mono_envsetup.sh
+++ b/mono_envsetup.sh
@@ -58,13 +58,6 @@ if VERSION_GREATER_EQUAL "$MONO_VERSION" "4.6.0"; then
 	MONO_DEBUG_IF_AVAILABLE "no-compact-seq-points"
 fi
 
-if [ -z "$MONO_DNS" ]; then
-	echo "INFO: Setting MONO_DNS to: 1"
-	export MONO_DNS=1
-else
-	echo "INFO: Skipping setting of MONO_DNS as it's already declared with value: $MONO_DNS"
-fi
-
 if [ -z "$MONO_ENV_OPTIONS" ]; then
 	echo "INFO: Setting MONO_ENV_OPTIONS to: --server -O=all"
 	export MONO_ENV_OPTIONS="--server -O=all"