diff options
| author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2021-10-04 20:56:33 +0200 |
|---|---|---|
| committer | Brian Gianforcaro <b.gianfo@gmail.com> | 2021-10-10 15:18:55 -0700 |
| commit | a296f6bb8d9675debba608324f56cea0d95ad48e (patch) | |
| tree | 520b1030e81af217438ecdc87e31196ea246d918 /Meta/lint-ci.sh | |
| parent | c06a0bae0417696be8e13d47f3bbd2220bf2e5f8 (diff) | |
| download | serenity-a296f6bb8d9675debba608324f56cea0d95ad48e.zip | |
Meta: Invoke markdown-checker if available while linting
Diffstat (limited to 'Meta/lint-ci.sh')
| -rwxr-xr-x | Meta/lint-ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh index fae13831e7..452db6902b 100755 --- a/Meta/lint-ci.sh +++ b/Meta/lint-ci.sh @@ -22,6 +22,7 @@ set +e for cmd in \ Meta/check-ak-test-files.sh \ Meta/check-debug-flags.sh \ + Meta/check-markdown.sh \ Meta/check-newlines-at-eof.py \ Meta/check-style.sh \ Meta/lint-executable-resources.sh \ |