Revision 9844
Added by Aaron Marcuse-Kubitza about 11 years ago
| 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