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_filter_active=1 ${make_filter_active:+sys_cmd }make "$@"
|