diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-05-16 14:41:34 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:41:34 -0700 |
| commit | fc77555de9fda63cc7a1670716afbddca541921e (patch) | |
| tree | f890bab387896160a6950f95e966e13f6b8f2620 /mk | |
| parent | d316614847c16569da34a42e808dfb332fc6b6c9 (diff) | |
more consistent redirection
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/util.mk | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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)';) |