Project

General

Profile

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
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/make.sh
7
PATH_add= . "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../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
set_inv is_outermost
13
if test "$no_is_outermost"; then verbosity_compat; fi
14
${no_is_outermost:+command }make "$@"
(40-40/84)