From f8ce957f5779795944579319183cd58d1976b11c Mon Sep 17 00:00:00 2001
From: Markus Birth <mbirth@gmail.com>
Date: Fri, 24 Nov 2017 14:31:26 +0100
Subject: [PATCH] Fix Makefile.

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

diff --git a/Makefile b/Makefile
index b85aa19..aff74a4 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ show_targets:
 
 define make-goal
 ${shell bin/findtargets.py build/ $(SRC_DIR)$1}: $(SRC_DIR)$1
-	echo "Building $$@"
+	@echo "Building $$@"
 	bin/makemkp.py $$< ./build/
 endef