Revision 10023
Added by Aaron Marcuse-Kubitza over 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.