Revision 10023
Added by Aaron Marcuse-Kubitza about 11 years ago
| make | ||
|---|---|---|
| 6 | 6 |
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/make.sh
|
| 7 | 7 |
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/local.sh
|
| 8 | 8 |
|
| 9 |
no_PATH_recursion
|
|
| 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 | 12 |
set_inv is_outermost |
| 13 | 13 |
if test "$no_is_outermost"; then verbosity_compat; fi |
| 14 |
${no_is_outermost:+exec }make "$@"
|
|
| 14 |
${no_is_outermost:+command }make "$@"
|
|
Also available in: Unified diff
bugfix: bin/make: need to leave bin/, ~/bin/ in the PATH when running make nonrecursively, so that commands invoked by it which are located in these dirs (e.g. put, which will be used by `make inputs/upload`) can still be found. this requires using command()'s new nonrecursive=1 flag instead of running no_PATH_recursion, so that no_PATH_recursion() only affects the resolution of the command path, but does not propagate the filtered PATH to the invoked command itself.