Makefile: Use 'command -v' instead of 'which'
The former is in POSIX [1], but the latter is not [2]. [1]: http://pubs.opengroup.org/onlinepubs/9699919799/utilities/command.html [2]: http://pubs.opengroup.org/onlinepubs/9699919799/idx/utilities.html Signed-off-by: W. Trevor King <wking@tremily.us>
This commit is contained in:
parent
dbce512cec
commit
1ac46cbd9f
2
Makefile
2
Makefile
|
@ -1,5 +1,5 @@
|
||||||
|
|
||||||
DOCKER ?= $(shell which docker)
|
DOCKER ?= $(shell command -v docker)
|
||||||
# These docs are in an order that determines how they show up in the PDF/HTML docs.
|
# These docs are in an order that determines how they show up in the PDF/HTML docs.
|
||||||
DOC_FILES := \
|
DOC_FILES := \
|
||||||
version.md \
|
version.md \
|
||||||
|
|
Loading…
Reference in New Issue