Revision 9732
Added by Aaron Marcuse-Kubitza over 11 years ago
| make | ||
|---|---|---|
| 5 | 5 |
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/util.sh
|
| 6 | 6 |
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/make.sh
|
| 7 | 7 |
|
| 8 |
no_PATH_recursion; make "$@" |
|
| 8 |
no_PATH_recursion |
|
| 9 |
set_inv is_outermost |
|
| 10 |
${no_is_outermost:+exec }make "$@"
|
|
Also available in: Unified diff
bin/make: don't reinvoke make() if the make filter has already been set up, as indicated by $is_outermost (instead, invoke make directly using exec)