Revision 9727
Added by Aaron Marcuse-Kubitza over 11 years ago
| bin/make | ||
|---|---|---|
| 1 |
#!/bin/bash |
|
| 2 |
# runs make, hiding verbose messages about making included Makefiles |
|
| 3 |
# usage: bin/make target... |
|
| 4 |
|
|
| 5 |
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/util.sh
|
|
| 6 |
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/sh/make.sh
|
|
| 7 |
|
|
| 8 |
no_PATH_recursion; make "$@" |
|
| 0 | 9 | |
Also available in: Unified diff
added bin/make, which runs make, hiding verbose messages about making included Makefiles. this should be used in preference to plain make, to avoid excessive log messages that prevent the user from seeing the core commands that are being run.