Changed when the build runs with or without the lib discovery

arduino / arduino-language-server

An Arduino Language Server based on Clangd to Arduino code autocompletion

GNU Affero General Public License v3.0

120 stars 11 forks source link

Closed kittaakos closed 2 years ago

kittaakos commented 2 years ago

Signed-off-by: Akos Kitta a.kitta@arduino.cc

Please check if the PR fulfills these requirements

[ ] The PR has no duplicates (please search among the Pull Requests before creating one)
[ ] The PR follows our contributing guidelines
[ ] Tests for the changes have been added (for bug fixes / features)
What kind of change does this PR introduce?
What is the current behavior?
What is the new behavior?
Other information:

cmaglie commented 2 years ago

Superseded by #118