Revision 9738
Added by Aaron Marcuse-Kubitza over 11 years ago
| bin/make | ||
|---|---|---|
| 2 | 2 |
# runs make, hiding verbose messages about making included Makefiles |
| 3 | 3 |
# usage: bin/make target... |
| 4 | 4 |
|
| 5 |
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/util.sh
|
|
| 6 |
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/make.sh
|
|
| 5 |
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/util.sh
|
|
| 6 |
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/make.sh
|
|
| 7 | 7 |
|
| 8 | 8 |
no_PATH_recursion |
| 9 | 9 |
cmd_name_log_inc=1 # don't print make cmd by default |
Also available in: Unified diff
bin/make: use `readlink -f` on BASH_SOURCE0 so that this script can also be run via a symlink