Revision 12823
Added by Aaron Marcuse-Kubitza over 10 years ago
| trunk/lib/sh/make.sh | ||
|---|---|---|
| 59 | 59 |
( |
| 60 | 60 |
# at verbosity < 4, hide messages about making included Makefiles |
| 61 | 61 |
# this can reduce # lines of output to 1/3 as much |
| 62 |
if test ! "$make_filter_active" && ! "log+" 3 can_log; then
|
|
| 62 |
if test ! "$make_filter_active" && ! clog+ 3 can_log; then
|
|
| 63 | 63 |
local_export make_filter_active=1 |
| 64 | 64 |
local cmd="$(clog++ sys_cmd_path "$(self_name)")"; echo_vars cmd |
| 65 | 65 |
fd="$log_fd" clog++ filter_fd sed \ |
| trunk/lib/sh/util.sh | ||
|---|---|---|
| 677 | 677 |
local cmd_name_log_inc="${cmd_name_log_inc-0}"
|
| 678 | 678 |
|
| 679 | 679 |
# print <>file redirs before cmd, because they introduce it |
| 680 |
"log+" "$cmd_name_log_inc" echo_cmd "$@" $(
|
|
| 680 |
clog+ "$cmd_name_log_inc" echo_cmd "$@" $(
|
|
| 681 | 681 |
set -- "${redirs[@]}" # operate on ${redirs[@]}
|
| 682 | 682 |
while test "$#" -gt 0 && starts_with '[<>][^&]' "$1" |
| 683 | 683 |
do log "$1 \\"; shift; done # log() will run *before* echo_cmd itself |
Also available in: Unified diff
: use clog instead of "log*"