Revision 9741
Added by Aaron Marcuse-Kubitza over 11 years ago
bin/make | ||
---|---|---|
7 | 7 |
|
8 | 8 |
no_PATH_recursion |
9 | 9 |
cmd_name_log_inc=1 # don't print make cmd by default |
10 |
"log++" set_fds "$log_fd>&1" # use standard make logging port |
|
10 | 11 |
set_inv is_outermost |
11 | 12 |
${no_is_outermost:+exec }make "$@" |
Also available in: Unified diff
bugfix: bin/make: use standard make logging port (1) instead of $log_fd (30) so that the output of bin/make can in turn be filtered by util.sh using the standard cmd_log_fd=1