From 272532031d00a860f0868309517a48990a93f96b Mon Sep 17 00:00:00 2001
From: Christian Mouchet <christian.mouchet@epfl.ch>
Date: Mon, 23 May 2022 10:58:43 +0200
Subject: [PATCH] fixed problem in the go vet check

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 537c373a..efc65b7e 100644
--- a/Makefile
+++ b/Makefile
@@ -42,8 +42,7 @@ static_check: check_tools
 		false;\
     fi
 
-	@GOVETOUT=$$(go vet ./... 2>&1); \
-	if [ -z "$$GOVETOUT" ]; then\
+	@if GOVETOUT=$$(go vet ./... 2>&1); then\
         echo "go vet: OK";\
 	else \
 		echo "go vet: problems in files:";\