diff options
| author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2021-11-01 17:20:54 +0100 |
|---|---|---|
| committer | Ali Mohammad Pur <Ali.mpfard@gmail.com> | 2021-11-05 00:17:01 +0330 |
| commit | 8f65153b0324b3fd401e69dfaeeec7d6960a9392 (patch) | |
| tree | 83b9902d1075443f9bdae8bd7ca87c7d7eb9de6e /Meta/lint-ci.sh | |
| parent | 585554a245fd4e5c5701414aee581a14ab473d1a (diff) | |
| download | serenity-8f65153b0324b3fd401e69dfaeeec7d6960a9392.zip | |
Meta: Run IPC magic number linter during CI and pre-commit
Diffstat (limited to 'Meta/lint-ci.sh')
| -rwxr-xr-x | Meta/lint-ci.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh index 785be689d8..c7d40972b9 100755 --- a/Meta/lint-ci.sh +++ b/Meta/lint-ci.sh @@ -40,6 +40,17 @@ for cmd in \ fi done +if [ -x ./Build/lagom/Tools/IPCMagicLinter/IPCMagicLinter ]; then + if git ls-files '*.ipc' | 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)" + ((FAILURES+=1)) + fi +else + echo -e "[${GREEN}SKIP${NC}]: IPCMagicLinter (in Meta/lint-ci.sh)" +fi + echo "Running Meta/lint-clang-format.sh" if Meta/lint-clang-format.sh --overwrite-inplace "$@" && git diff --exit-code; then echo -e "[${GREEN}OK${NC}]: Meta/lint-clang-format.sh" |