From 1ac46cbd9fb31d1381002584acd7d8e352c1af63 Mon Sep 17 00:00:00 2001
From: "W. Trevor King" <wking@tremily.us>
Date: Fri, 6 May 2016 14:48:40 -0700
Subject: [PATCH] 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>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e353d8eb..c80e8dc9 100644
--- a/Makefile
+++ b/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.
 DOC_FILES := \
 	version.md \