Meta: Always show the timing of commands in lint-ci.sh

This should make it easier to identify slow-running scripts.
While we're at it, unify the output a little bit.

1 files changed, 7 insertions, 5 deletions

diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh
index 7ecf89986c..d4bd1de5a4 100755
--- a/Meta/lint-ci.sh
+++ b/Meta/lint-ci.sh
@@ -33,8 +33,8 @@ for cmd in \
         Meta/lint-prettier.sh \
         Meta/lint-python.sh \
         Meta/lint-shell-scripts.sh; do
-    echo "Running ${cmd}... "
-    if "${cmd}" "$@"; then
+    echo "Running ${cmd}"
+    if "/usr/bin/time" "${cmd}" "$@"; then
         echo -e "[${GREEN}OK${NC}]: ${cmd}"
     else
         echo -e "[${RED}FAIL${NC}]: ${cmd}"
@@ -43,7 +43,8 @@ for cmd in \
 done
 
 if [ -x ./Build/lagom/Tools/IPCMagicLinter/IPCMagicLinter ]; then
-    if git ls-files '*.ipc' | xargs ./Build/lagom/Tools/IPCMagicLinter/IPCMagicLinter; then
+    echo "Running IPCMagicLinter"
+    if git ls-files '*.ipc' | /usr/bin/time xargs ./Build/lagom/Tools/IPCMagicLinter/IPCMagicLinter; then
         echo -e "[${GREEN}OK${NC}]: IPCMagicLinter (in Meta/lint-ci.sh)"
     else
         echo -e "[${RED}FAIL${NC}]: IPCMagicLinter (in Meta/lint-ci.sh)"
@@ -54,7 +55,7 @@ else
 fi
 
 echo "Running Meta/lint-clang-format.sh"
-if Meta/lint-clang-format.sh --overwrite-inplace "$@" && git diff --exit-code; then
+if /usr/bin/time Meta/lint-clang-format.sh --overwrite-inplace "$@" && git diff --exit-code; then
     echo -e "[${GREEN}OK${NC}]: Meta/lint-clang-format.sh"
 else
     echo -e "[${RED}FAIL${NC}]: Meta/lint-clang-format.sh"
@@ -68,7 +69,8 @@ fi
 # when Ports/ files have changed and only invoke lint-ports.py when needed.
 #
 if [ "$ports" = true ]; then
-    if Meta/lint-ports.py; then
+    echo "Running Meta/lint-ports.py"
+    if /usr/bin/time Meta/lint-ports.py; then
         echo -e "[${GREEN}OK${NC}]: Meta/lint-ports.py"
     else
         echo -e "[${RED}FAIL${NC}]: Meta/lint-ports.py"