| 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 |
10066
|
aaronmk
|
make "$@"
|
