root/bin/make @ 11710
| 1 |
#!/bin/bash
|
|---|---|
| 2 |
# runs make, hiding verbose messages about making included Makefiles
|
| 3 |
# usage: bin/make target...
|
| 4 |
|
| 5 |
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/util.sh |
| 6 |
.rel ../lib/sh/make.sh |
| 7 |
PATH_add= .rel ../lib/sh/local.sh |
| 8 |
|
| 9 |
nonrecursive=1 |
| 10 |
cmd_name_log_inc=1 # don't print make cmd by default |
| 11 |
"log++" set_fds "$log_fd>&1" # use standard make logging port |
| 12 |
if test "$make_filter_active"; then verbosity_compat; fi |
| 13 |
make "$@" |