From ee0d8981e501c86774f3ec45466d3273464921e8 Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@lukeshu.com>
Date: Thu, 18 Aug 2022 01:12:13 -0600
Subject: Get inspect-scandevices to a decent-ish place

---
 scripts/main.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

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")
 )
-- 
cgit v1.2.3-2-g168b