Make shellcheck happy
This commit is contained in:
parent
398d8d7ae0
commit
45d939219c
8
ghcup
8
ghcup
@ -459,14 +459,16 @@ edo()
|
|||||||
# Wrapper around 'make', may call 'gmake' if it exists.
|
# Wrapper around 'make', may call 'gmake' if it exists.
|
||||||
emake() { # avoid re-checking for gmake
|
emake() { # avoid re-checking for gmake
|
||||||
if [ -n "${MAKE}" ] ; then
|
if [ -n "${MAKE}" ] ; then
|
||||||
edo ${MAKE} "$@"
|
edo "${MAKE}" "$@"
|
||||||
else
|
else
|
||||||
if command_exists gmake ; then
|
if command_exists gmake ; then
|
||||||
|
# shellcheck disable=SC2209
|
||||||
MAKE=gmake
|
MAKE=gmake
|
||||||
edo ${MAKE} "$@"
|
edo "${MAKE}" "$@"
|
||||||
else
|
else
|
||||||
|
# shellcheck disable=SC2209
|
||||||
MAKE=make
|
MAKE=make
|
||||||
edo ${MAKE} "$@"
|
edo "${MAKE}" "$@"
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user