rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-31 20:52:13 +01:00
Code Issues Releases Activity

Fixed error in cmd-line lib installer

Browse Source
This commit is contained in:
Cristian Maglie 2018-01-22 15:03:48 +01:00
parent fee5848a02
commit 8d27171b74
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/Base.java
View File

@ -359,7 +359,7 @@ public class Base {
} }
Optional<ContributedLibrary> mayInstalled = indexer.getIndex().getInstalled(libraryToInstallParts[0]); Optional<ContributedLibrary> mayInstalled = indexer.getIndex().getInstalled(libraryToInstallParts[0]);
if (mayInstalled.isPresent() && mayInstalled.get().isIDEBuiltIn()) { if (mayInstalled.isPresent() && selected.isIDEBuiltIn()) {
libraryInstaller.remove(mayInstalled.get(), progressListener); libraryInstaller.remove(mayInstalled.get(), progressListener);
} else { } else {
libraryInstaller.install(selected, mayInstalled, progressListener); libraryInstaller.install(selected, mayInstalled, progressListener);