Project

General

Profile

« Previous | Next » 

Revision 9505

lib/sh/make.sh: added top_make()

View differences:

lib/sh/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