Revision 9505
Added by Aaron Marcuse-Kubitza over 11 years ago
make.sh | ||
---|---|---|
28 | 28 |
|
29 | 29 |
make() { echo_func; cmd_log_fd=1 self "$@"; } |
30 | 30 |
|
31 |
top_make() { echo_func; make --directory="$top_dir" "$@"; } |
|
32 |
|
|
31 | 33 |
if false; then ## usage: |
32 | 34 |
inline_make <<'EOF' |
33 | 35 |
target: |
Also available in: Unified diff
lib/sh/make.sh: added top_make()