From 83110326f40e9803675b4cf42a28360548e95cee Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Tue, 5 Nov 2019 12:02:12 +0200
Subject: [PATCH] Rename "check_pattern" option

---
 docs                          | 2 +-
 platformio/project/options.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs b/docs
index e6c05ca3..8086fc8c 160000
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit e6c05ca3da57393515f4b87df5a79bdd07d91e29
+Subproject commit 8086fc8c6ac06666b9afb6407c2d21f60fccfe18
diff --git a/platformio/project/options.py b/platformio/project/options.py
index b4c1814f..3294084d 100644
--- a/platformio/project/options.py
+++ b/platformio/project/options.py
@@ -537,7 +537,7 @@ ProjectOptions = OrderedDict(
             ),
             ConfigEnvOption(
                 group="check",
-                name="check_patterns",
+                name="check_pattern",
                 description=(
                     "Configure a list of target files or directories for checking "
                     "(Unix shell-style wildcards)"