Ivan Kravets d32312e738 Fixed an issue when lib_archive = no was not honored in "platformio.ini"

2020-03-20 13:34:35 +02:00

..

tools

Fixed an issue when lib_archive = no was not honored in "platformio.ini"

2020-03-20 13:34:35 +02:00

__init__.py

Copyright (c) 2014-present PlatformIO <contact@platformio.org>

2017-06-05 16:02:39 +03:00

main.py

Generate `compilation database "compile_commands.json" // Resolve #2990

2020-02-06 17:19:48 +02:00