From 9b0d9cd74370bff4dfaf86c4ab75973ec9aa56a2 Mon Sep 17 00:00:00 2001
From: Patrick Ohly <patrick.ohly@intel.com>
Date: Mon, 8 Apr 2019 11:37:01 +0200
Subject: [PATCH] build.make: skip shellcheck if Docker is not available

Not all environments have Docker. The simplifying assumption here is
that if the Docker command is available, it's also usable.
---
 build.make | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.make b/build.make
index 078100c9f6..e5769c5865 100644
--- a/build.make
+++ b/build.make
@@ -141,6 +141,10 @@ test: test-shellcheck
 test-shellcheck:
 	@ echo; echo "### $@:"
 	@ ret=0; \
+	if ! command -v docker; then \
+		echo "skipped, no Docker"; \
+		return 0; \
+        fi; \
 	for dir in $(abspath $(TEST_SHELLCHECK_DIRS)); do \
 		echo; \
 		echo "$$dir:"; \