Add user-definable monitor options to platformio.ini // Resolve #2165

This commit is contained in:
Ivan Kravets
2019-05-25 21:49:51 +03:00
parent 70a0bd72c0
commit a84195bb5a
4 changed files with 20 additions and 10 deletions

View File

@@ -86,6 +86,7 @@ KNOWN_ENV_OPTIONS = [
"monitor_speed",
"monitor_rts",
"monitor_dtr",
"monitor_flags",
# Library
"lib_deps",