From cada3fa92072ecdbcdcd5092839a9db07130ed77 Mon Sep 17 00:00:00 2001
From: JustArchi <JustArchi@JustArchi.net>
Date: Fri, 2 Sep 2016 18:57:13 +0200
Subject: [PATCH] Don't use bashisms in envsetup

---
 mono_envsetup.sh | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/mono_envsetup.sh b/mono_envsetup.sh
index fe1fb40c3..8509e1023 100644
--- a/mono_envsetup.sh
+++ b/mono_envsetup.sh
@@ -1,10 +1,8 @@
-#!/bin/bash
-
 MONO_DEBUG_IF_AVAILABLE() {
 	local PREVIOUS_MONO_DEBUG="$MONO_DEBUG"
 
 	# Add change if needed
-	if [[ -z "$PREVIOUS_MONO_DEBUG" ]]; then
+	if [ -z "$PREVIOUS_MONO_DEBUG" ]; then
 		export MONO_DEBUG="$1"
 	elif echo "$PREVIOUS_MONO_DEBUG" | grep -Fq "$1"; then
 		echo "Success: $1 already exists"
@@ -26,7 +24,7 @@ MONO_DEBUG_IF_AVAILABLE() {
 }
 
 VERSION_GREATER() {
-	if [[ "$1" = "$2" ]]; then
+	if [ "$1" = "$2" ]; then
 		return 1
 	fi
 
@@ -38,7 +36,7 @@ VERSION_GREATER_EQUAL() {
 }
 
 VERSION_LESS() {
-	if [[ "$1" = "$2" ]]; then
+	if [ "$1" = "$2" ]; then
 		return 1
 	fi
 
@@ -46,7 +44,7 @@ VERSION_LESS() {
 }
 
 VERSION_LESS_EQUAL() {
-	[[  "$1" = "$(echo -e "$1\n$2" | sort -V | head -n 1)" ]]
+	[  "$1" = "$(echo -e "$1\n$2" | sort -V | head -n 1)" ]
 }
 
 echo "Mono environment setup executed!"