mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-04 23:05:47 +02:00
[Arduino] Get things working on Windows again.
Change-Id: I0bc70a504fcc36cca36d646f35791c6c6fe08345
This commit is contained in:
parent
d3e0ebc390
commit
cd7319b883
3 changed files with 4 additions and 2 deletions
|
@ -206,7 +206,7 @@ public class ArduinoLibrary {
|
|||
}
|
||||
} else {
|
||||
if (ArduinoBuildConfiguration.isSource(file.getName())) {
|
||||
sources.add(file.getAbsolutePath());
|
||||
sources.add(ArduinoBuildConfiguration.pathString(file.toPath()));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
@ -93,6 +93,7 @@ public class ArduinoManager {
|
|||
.resolve(Paths.get(packageUrl.getPath()).getFileName());
|
||||
File packageFile = packagePath.toFile();
|
||||
if (download) {
|
||||
Files.createDirectories(ArduinoPreferences.getArduinoHome());
|
||||
Files.copy(packageUrl.openStream(), packagePath, StandardCopyOption.REPLACE_EXISTING);
|
||||
}
|
||||
if (packageFile.exists()) {
|
||||
|
@ -125,6 +126,7 @@ public class ArduinoManager {
|
|||
.resolve(Paths.get(librariesUrl.getPath()).getFileName());
|
||||
File librariesFile = librariesPath.toFile();
|
||||
if (download) {
|
||||
Files.createDirectories(ArduinoPreferences.getArduinoHome());
|
||||
Files.copy(librariesUrl.openStream(), librariesPath, StandardCopyOption.REPLACE_EXISTING);
|
||||
}
|
||||
if (librariesFile.exists()) {
|
||||
|
|
|
@ -204,7 +204,7 @@ public class ArduinoPlatform {
|
|||
}
|
||||
} else {
|
||||
if (ArduinoBuildConfiguration.isSource(file.getName())) {
|
||||
sources.add(file.getAbsolutePath());
|
||||
sources.add(ArduinoBuildConfiguration.pathString(file.toPath()));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Reference in a new issue