root/bin/make @ 9727
| 1 |
#!/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 "$@" |