Revision 10049
Added by Aaron Marcuse-Kubitza about 11 years ago
| make | ||
|---|---|---|
| 4 | 4 |
|
| 5 | 5 |
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/util.sh
|
| 6 | 6 |
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/make.sh
|
| 7 |
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/local.sh
|
|
| 7 |
PATH_add= . "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/local.sh
|
|
| 8 | 8 |
|
| 9 | 9 |
nonrecursive=1 |
| 10 | 10 |
cmd_name_log_inc=1 # don't print make cmd by default |
Also available in: Unified diff
bugfix: bin/make: do not alter the PATH passed to the invoked make command, since this is a general-purpose wrapper and is not linked to a specific working copy (it could be used to wrap any make invocation, not just for commands in the svn dir). this uses lib/sh/local.sh's new PATH_add= flag.