mirror of
https://github.com/esp8266/Arduino.git
synced 2025-04-19 23:22:16 +03:00
fake library directory: prevent building an archive (#6671)
On some cases, this library archive is used but is non existent because there is no source file. disabling archive building fixes this issue.
This commit is contained in:
parent
41ba21613d
commit
fbcc69b989
@ -7,4 +7,4 @@ paragraph=
|
||||
category=Other
|
||||
url=
|
||||
architectures=esp8266
|
||||
dot_a_linkage=true
|
||||
dot_a_linkage=false
|
||||
|
Loading…
x
Reference in New Issue
Block a user