Revision 9741
Added by Aaron Marcuse-Kubitza about 11 years ago
| 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