1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-08-14 08:03:09 +03:00

Advise of duplicate libraries after compiling

This commit is contained in:
PaulStoffregen
2015-03-30 10:24:18 -07:00
parent 1fcd6ff1ce
commit b5367bcdbe
4 changed files with 126 additions and 28 deletions

View File

@@ -81,4 +81,11 @@ public class LibraryList extends LinkedList<UserLibrary> {
}
return res;
}
public boolean hasLibrary(UserLibrary lib) {
for (UserLibrary l : this)
if (l == lib) return true;
return false;
}
}