Revision 12863
Added by Aaron Marcuse-Kubitza almost 11 years ago
| trunk/lib/runscripts/util.run | ||
|---|---|---|
| 53 | 53 |
else eval set -- "$(reverse "${BASH_ARGV[@]}")"
|
| 54 | 54 |
fi |
| 55 | 55 |
test $# -ge 1 || set -- all |
| 56 |
echo_cmd "$top_script" "$@"; time gateway "$@" |
|
| 56 |
echo_cmd "$top_script" "$@" |
|
| 57 |
indent; time gateway "$@" |
|
| 57 | 58 |
} |
| 58 | 59 |
|
| 59 | 60 |
# users can override run_args_cmd to perform other commands (or no commands) |
Also available in: Unified diff
fix: lib/runscripts/util.run: run_args_cmd(): need to indent the output of the target that it's running