Project

General

Profile

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