Project

General

Profile

« Previous | Next » 

Revision 9752

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"

View differences:

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