Project

General

Profile

« Previous | Next » 

Revision 9862

Added by Aaron Marcuse-Kubitza over 11 years ago

bugfix: bin/make: include local.sh so that its default verbosity-setting make() override will be used

View differences:

make
4 4 

  		




  5
  5
  
    
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/util.sh


  		




  6
  6
  
    
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/make.sh


  		




  
  7
  
    
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/local.sh


  		




  7
  8
  
    

  		




  8
  9
  
    
no_PATH_recursion


  		




  9
  10
  
    
cmd_name_log_inc=1 # don't print make cmd by default


  		












Also available in:  Unified diff