root/bin/make @ 9734
| 1 | 9727 | aaronmk | #!/bin/bash
|
|---|---|---|---|
| 2 | # runs make, hiding verbose messages about making included Makefiles
|
||
| 3 | # usage: bin/make target...
|
||
| 4 | |||
| 5 | . "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/util.sh |
||
| 6 | . "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/make.sh |
||
| 7 | |||
| 8 | 9732 | aaronmk | no_PATH_recursion |
| 9 | 9733 | aaronmk | cmd_name_log_inc=1 # don't print make cmd by default |
| 10 | 9732 | aaronmk | set_inv is_outermost |
| 11 | ${no_is_outermost:+exec }make "$@" |