From a485a687775ffe8f98bbddecda39b355862a810c Mon Sep 17 00:00:00 2001
From: Henrik Levkowetz <henrik@levkowetz.com>
Date: Sat, 14 Nov 2020 05:10:22 +0000
Subject: [PATCH] Removed an outdated check for docker-machine - Legacy-Id:
18690
---
docker/build | 8 +-------
1 file changed, 1 insertion(+), 7 deletions(-)
diff --git a/docker/build b/docker/build
index 79dcd8bad..eb3d66f20 100755
--- a/docker/build
+++ b/docker/build
@@ -113,13 +113,7 @@ done
# ----------------------------------------------------------------------
# The program itself
-if [ "$(uname)" != "Linux" ]; then
- if [ -n "$(type -p docker-machine)" ]; then
- machine=$(type -p docker-machine)
- else
- die "Could not find boot2docker or docker-machine -- you need to set one of those before running this script."
- fi
-else
+if [ "$(uname)" == "Linux" ]; then
die "Didn't expect to run this script on Linux -- are you inside docker?"
fi