Revision 9844
Added by Aaron Marcuse-Kubitza over 11 years ago
lib/sh/util.sh | ||
---|---|---|
786 | 786 |
{ |
787 | 787 |
eval set -- "$(reverse "${BASH_ARGV[@]}")" |
788 | 788 |
test $# -ge 1 || set -- all |
789 |
echo_cmd "$top_script" "$@"; "$@" |
|
789 |
echo_cmd "$top_script" "$@"; time "$@"
|
|
790 | 790 |
} |
791 | 791 |
|
792 | 792 |
fwd() # usage: subdirs=(...); fwd "$FUNCNAME" "$@" |
Also available in: Unified diff
lib/sh/util.sh: run_args_cmd(): time the command so that the runtime of the outer runscript target (i.e. the command run from the shell) is printed at the end of the output, like in bin/make