From 5741c8c440cb199a9901f7b002a96735ce0c041a Mon Sep 17 00:00:00 2001
From: Jacob Boddey <boddey@google.com>
Date: Wed, 8 Nov 2023 09:29:11 +0000
Subject: [PATCH] Check that Docker is installed

---
 cmd/build | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/cmd/build b/cmd/build
index 5143e8902..a07d1b53d 100755
--- a/cmd/build
+++ b/cmd/build
@@ -14,6 +14,16 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
+# Check if Docker is installed
+if [[ $(which docker) && $(docker --version) ]]; then
+    # Docker is installed
+    echo Using $(docker --version)
+  else
+    # Docker is not installed
+    echo Docker is not installed. Please follow the Get Started guide at https://github.com/google/testrun
+    exit 1
+fi
+
 # Builds all docker images
 echo Building docker images