From edf11b38095425d47d4b2289e2c40f43a570f527 Mon Sep 17 00:00:00 2001 From: Aliaksandr Kalenik Date: Tue, 13 Jun 2023 22:33:03 +0300 Subject: [PATCH] Meta: Exclude cloned WPT repo from linting by check-markdown.sh --- Meta/check-markdown.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Meta/check-markdown.sh b/Meta/check-markdown.sh index 925d7f31d7..315e9e1438 100755 --- a/Meta/check-markdown.sh +++ b/Meta/check-markdown.sh @@ -23,4 +23,4 @@ if [ -z "$SERENITY_SOURCE_DIR" ] ; then export SERENITY_SOURCE_DIR fi -find AK Base Documentation Kernel Meta Ports Tests Userland -type f -name '*.md' -print0 | xargs -0 "${MARKDOWN_CHECK_BINARY}" README.md CONTRIBUTING.md +find AK Base Documentation Kernel Meta Ports Tests Userland -path Tests/LibWeb/WPT/wpt -prune -o -type f -name '*.md' -print0 | xargs -0 "${MARKDOWN_CHECK_BINARY}" README.md CONTRIBUTING.md