Project

General

Profile

« Previous | Next » 

Revision 9753

lib/sh/make.sh: make(): time all invocations of make

View differences:

lib/sh/make.sh
41 41
-e '/^make ([^-][^[:space:]]*)?Makefile/,/^make\[[[:digit:]]+\]: .*Makefile/d' \
42 42
-e                                      '/^make\[[[:digit:]]+\]: .*Makefile/d'
43 43
		fi
44
		cmd_log_fd=1 self $(if ! can_log; then echo '--silent '; fi)"$@"
44
		time cmd_log_fd=1 self $(if ! can_log; then echo '--silent '; fi)"$@"
45 45
	)
46 46
}
47 47

  

Also available in: Unified diff