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