diff options
| author | Luke Shumaker <lukeshu@lukeshu.com> | 2022-08-18 01:12:13 -0600 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@lukeshu.com> | 2022-08-18 01:55:55 -0600 |
| commit | ee0d8981e501c86774f3ec45466d3273464921e8 (patch) | |
| tree | 4ae03e4ee5293ca99e7fc9bd8393d810766d90b0 /scripts | |
| parent | 286db83409b56de7b0ac3a74709018c01de43f44 (diff) | |
Get inspect-scandevices to a decent-ish place
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/main.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/main.sh b/scripts/main.sh index cc03e9f..f357754 100755 --- a/scripts/main.sh +++ b/scripts/main.sh @@ -7,7 +7,7 @@ gen() ( if test -s "$tgt"; then return fi - { set -x; time "$@"; } \ + { set -x; command time --verbose "$@"; } \ >"$tgt" \ 2> >(tee >&2 "$log") ) |