beenull/ladybird
1
0
Fork 0
mirror of https://github.com/LadybirdBrowser/ladybird.git synced 2024-11-21 23:20:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

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

Browse source 
This should make it easier to identify slow-running scripts.
While we're at it, unify the output a little bit.
This commit is contained in:
Ben Wiederhake 2022-09-18 18:13:26 +02:00 committed by Brian Gianforcaro
parent 078e4bde32
commit c4895b7d95
Notes: sideshowbarker 2024-07-17 10:08:28 +09:00 
Author: https://github.com/BenWiederhake
Commit: https://github.com/SerenityOS/serenity/commit/c4895b7d95
Pull-request: https://github.com/SerenityOS/serenity/pull/15281
Reviewed-by: https://github.com/bgianfo ✅
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
Meta/lint-ci.sh
View file

@ -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"