From 45d939219c6015013271c20bd6d3c3678f7da98e Mon Sep 17 00:00:00 2001
From: George Wilson <george@wils.online>
Date: Mon, 18 Feb 2019 10:13:00 +1000
Subject: [PATCH] Make shellcheck happy
---
ghcup | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/ghcup b/ghcup
index 769cd2d..9652d6a 100755
--- a/ghcup
+++ b/ghcup
@@ -459,14 +459,16 @@ edo()
# Wrapper around 'make', may call 'gmake' if it exists.
emake() { # avoid re-checking for gmake
if [ -n "${MAKE}" ] ; then
- edo ${MAKE} "$@"
+ edo "${MAKE}" "$@"
else
if command_exists gmake ; then
+ # shellcheck disable=SC2209
MAKE=gmake
- edo ${MAKE} "$@"
+ edo "${MAKE}" "$@"
else
+ # shellcheck disable=SC2209
MAKE=make
- edo ${MAKE} "$@"
+ edo "${MAKE}" "$@"
fi
fi
}
--
GitLab