Revision 9752
Added by Aaron Marcuse-Kubitza over 11 years ago
make.sh | ||
---|---|---|
37 | 37 |
( |
38 | 38 |
# at verbosity < 4, hide messages about making included Makefiles |
39 | 39 |
# this can reduce # lines of output to 1/3 as much |
40 |
if ! "log+" 3 can_log; then fd="$log_fd" "log++" filter_fd grep -vE \ |
|
41 |
'^make( ([^-][^[:space:]]*)?|\[[[:digit:]]+\]: .*)Makefile'; fi |
|
40 |
if ! "log+" 3 can_log; then fd="$log_fd" clog++ filter_fd sed \ |
|
41 |
-e '/^make ([^-][^[:space:]]*)?Makefile/,/^make\[[[:digit:]]+\]: .*Makefile/d' \ |
|
42 |
-e '/^make\[[[:digit:]]+\]: .*Makefile/d' |
|
43 |
fi |
|
42 | 44 |
cmd_log_fd=1 self $(if ! can_log; then echo '--silent '; fi)"$@" |
43 | 45 |
) |
44 | 46 |
} |
Also available in: Unified diff
lib/sh/make.sh: make() at verbosity < 4, hide messages about making included Makefiles: use sed with a range expression (/.../,/.../) to also exclude all log messages between an opening "make ...Makefile" and a closing "make[#]: ...Makefile"