From aaf532bda0220b4027ddfad792444ab75bdd1913 Mon Sep 17 00:00:00 2001
From: Dave Cunningham <dcunnin@google.com>
Date: Mon, 7 Mar 2016 13:45:25 -0500
Subject: [PATCH] Fix build on GNU make

---
 Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index a593f4c98..77a93640e 100644
--- a/Makefile
+++ b/Makefile
@@ -80,10 +80,10 @@ vet:
 	done
 	@echo -----------------
 
-HAS_GLIDE := $(shell command -v glide)
-HAS_GOLINT := $(shell command -v golint)
-HAS_GOVET := $(shell command -v go tool vet)
-HAS_GOX := $(shell command -v gox)
+HAS_GLIDE := $(shell command -v glide;)
+HAS_GOLINT := $(shell command -v golint;)
+HAS_GOVET := $(shell command -v go tool vet;)
+HAS_GOX := $(shell command -v gox;)
 
 .PHONY: bootstrap
 bootstrap: