diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh index 24be842c0f3..501dc200610 100755 --- a/Meta/lint-ci.sh +++ b/Meta/lint-ci.sh @@ -34,7 +34,7 @@ for cmd in \ Meta/lint-python.sh \ Meta/lint-shell-scripts.sh; do echo "Running ${cmd}" - if "/usr/bin/time" "${cmd}" "$@"; then + if "time" "${cmd}" "$@"; then echo -e "[${GREEN}OK${NC}]: ${cmd}" else echo -e "[${RED}FAIL${NC}]: ${cmd}" @@ -44,7 +44,7 @@ done if [ -x ./Build/lagom/Tools/IPCMagicLinter/IPCMagicLinter ]; then echo "Running IPCMagicLinter" - if git ls-files '*.ipc' | /usr/bin/time xargs ./Build/lagom/Tools/IPCMagicLinter/IPCMagicLinter; then + if git ls-files '*.ipc' | 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)" @@ -55,7 +55,7 @@ else fi echo "Running Meta/lint-clang-format.sh" -if /usr/bin/time Meta/lint-clang-format.sh --overwrite-inplace "$@" && git diff --exit-code; then +if 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" @@ -70,7 +70,7 @@ fi # if [ "$ports" = true ]; then echo "Running Meta/lint-ports.py" - if /usr/bin/time Meta/lint-ports.py; then + if 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"