mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
91c262dc0e
- The file names in FILES_NOT_TO_COPY are full names and not partial names, so the check should not check if a file name contains such a name, but rather whether a file name fully matches such a name. - Replaced the FILES_NOT_TO_COPY by a HashSet since this provides O(1) lookups, rather than O(n) lookups where n is the size of the set.