Revision 10062
Added by Aaron Marcuse-Kubitza over 11 years ago
| bin/make | ||
|---|---|---|
| 9 | 9 |
nonrecursive=1 |
| 10 | 10 |
cmd_name_log_inc=1 # don't print make cmd by default |
| 11 | 11 |
"log++" set_fds "$log_fd>&1" # use standard make logging port |
| 12 |
set_inv is_outermost |
|
| 13 |
if test "$no_is_outermost"; then verbosity_compat; fi |
|
| 14 |
${no_is_outermost:+sys_cmd }make "$@"
|
|
| 12 |
if test "$make_filter_active"; then verbosity_compat; fi |
|
| 13 |
make_filter_active=1 ${make_filter_active:+sys_cmd }make "$@"
|
|
Also available in: Unified diff
bugfix: bin/make: use separate $make_filter_active flag instead of $is_outermost for avoiding duplicate output filtering, so that an outer runscript, which sets $is_outermost but does not activate the make filter, will not prevent the make filter from being activated when make is invoked