From fc77555de9fda63cc7a1670716afbddca541921e Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 16 May 2013 14:41:34 -0700
Subject: more consistent redirection

---
 mk/util.mk | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'mk')

diff --git a/mk/util.mk b/mk/util.mk
index 4f177e5..3b0ea24 100644
--- a/mk/util.mk
+++ b/mk/util.mk
@@ -2,9 +2,11 @@
 ifneq "$(V)" "1"
 Q     := @
 quiet := quiet_
+redir := >/dev/null
 else
 Q     :=
 quiet :=
+redir :=
 endif
 
 echo-cmd = $(if $($(quiet)cmd_$1),echo '  $($(quiet)cmd_$1)';)
-- 
cgit v1.2.3