Project

General

Profile

« Previous | Next » 

Revision 9861

lib/sh/local.sh: added make() override, which uses the default verbosity (i.e. verbosity="") when verbosity == 1. scripts that use lib/sql.py (which uses $verbosity) have different default verbosities, and this default should not be overriden by an env var, unless a higher verbosity has been set.

View differences:

lib/sh/local.sh
18 18

  
19 19
#### make
20 20

  
21
func_override make__make_sh
22
make()
23
{
24
	echo_func
25
	if ((verbosity == 1)); then local verbosity=; fi # use default
26
	"$@"
27
}
28

  
21 29
root_make() { echo_func; make --directory="$root_dir" "$@"; }
22 30

  
23 31
#### connection vars

Also available in: Unified diff