Revision 9733
Added by Aaron Marcuse-Kubitza over 11 years ago
| make | ||
|---|---|---|
| 6 | 6 |
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/make.sh
|
| 7 | 7 |
|
| 8 | 8 |
no_PATH_recursion |
| 9 |
cmd_name_log_inc=1 # don't print make cmd by default |
|
| 9 | 10 |
set_inv is_outermost |
| 10 | 11 |
${no_is_outermost:+exec }make "$@"
|
Also available in: Unified diff
bin/make: don't print make cmd by default, so that only `make` output is printed at verbosity 1