From c1f0849dd42bf5f3bb7fdf44e6773dbdd6e1fc89 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 4 Sep 2009 14:36:38 +0000
Subject: Hide echo

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

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index 22cfcda3..19b02ec3 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -561,4 +561,4 @@ links:
 ## Useful for debugging Makefile 
 
 show.%:
-	echo $($*)
+	@echo $($*)
-- 
cgit v1.2.3