From d4d6695843180a2ab8a8b9f85204afd6f1704332 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matev=C5=BE=20Jekovec?= <matevz.jekovec@oasislabs.com>
Date: Fri, 16 Aug 2019 12:58:18 +0200
Subject: [PATCH] Makefile: Suppress binary already installed error for tools

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 64f244f693e..fd6ffda2231 100644
--- a/Makefile
+++ b/Makefile
@@ -39,7 +39,8 @@ all: tools runtimes rust go
 
 tools:
 	@$(ECHO) "$(CYAN)*** Building Rust tools...$(OFF)"
-	@cargo install --quiet --path tools || true
+	@# Suppress "binary already exists" error by redirecting stderr and stdout to /dev/null.
+	@cargo install --path tools >/dev/null 2>&1 || true
 
 runtimes:
 	@$(ECHO) "$(CYAN)*** Building runtimes...$(OFF)"