Project

General

Profile

Download (246 Bytes) Statistics
| Revision:

root/bin/make @ 9727

1 9727 aaronmk 
#!/bin/bash
2 
# runs make, hiding verbose messages about making included Makefiles
3 
# usage: bin/make target...
4 

      

      

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


      

      

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


      

      

        7
        
        
        
        
        

      

      

        8
        
        
        
        
        
no_PATH_recursion; make "$@"