diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java index d45ef1b30..ab2e36dad 100644 --- a/arduino-core/src/processing/app/BaseNoGui.java +++ b/arduino-core/src/processing/app/BaseNoGui.java @@ -618,8 +618,8 @@ public class BaseNoGui { } private static void copyStockLibraryIndexIfUpstreamIsMissing(File librariesIndexFile) throws IOException { - if (!librariesIndexFile.isFile()) { - File defaultLibraryJsonFile = new File(getContentFile("dist"), "library_index.json"); + File defaultLibraryJsonFile = new File(getContentFile("dist"), "library_index.json"); + if (!librariesIndexFile.isFile() || (defaultLibraryJsonFile.isFile() && defaultLibraryJsonFile.lastModified() > librariesIndexFile.lastModified())) { if (defaultLibraryJsonFile.isFile()) { FileUtils.copyFile(defaultLibraryJsonFile, librariesIndexFile); } else { diff --git a/build/Bridge-1.0.7.zip.sha b/build/Bridge-1.0.7.zip.sha deleted file mode 100644 index e830ce9c5..000000000 --- a/build/Bridge-1.0.7.zip.sha +++ /dev/null @@ -1 +0,0 @@ -bd9f9ddb27f14acd9d300bfe7e3bf9c33b81ae22 diff --git a/build/Bridge-1.1.0.zip.sha b/build/Bridge-1.1.0.zip.sha new file mode 100644 index 000000000..c02596712 --- /dev/null +++ b/build/Bridge-1.1.0.zip.sha @@ -0,0 +1 @@ +cedc2a161b7ec2977f5311ff1f98b1f834ec5b3f diff --git a/build/Keyboard-1.0.0.zip.sha b/build/Keyboard-1.0.0.zip.sha new file mode 100644 index 000000000..828d2a889 --- /dev/null +++ b/build/Keyboard-1.0.0.zip.sha @@ -0,0 +1 @@ +175879b1f0cbc982756c083b8dbdebee38ed8dcb diff --git a/build/Mouse-1.0.0.zip.sha b/build/Mouse-1.0.0.zip.sha new file mode 100644 index 000000000..1af8e2fcf --- /dev/null +++ b/build/Mouse-1.0.0.zip.sha @@ -0,0 +1 @@ +55a186583f272b19646bd88d0ef5439b1b533568 diff --git a/build/Temboo-1.1.3.zip.sha b/build/Temboo-1.1.3.zip.sha deleted file mode 100644 index c339d6a27..000000000 --- a/build/Temboo-1.1.3.zip.sha +++ /dev/null @@ -1 +0,0 @@ -4af55b713e318f534f524b8ad239c1ca2419deaa diff --git a/build/Temboo-1.1.4.zip.sha b/build/Temboo-1.1.4.zip.sha new file mode 100644 index 000000000..667891805 --- /dev/null +++ b/build/Temboo-1.1.4.zip.sha @@ -0,0 +1 @@ +3d847f79cbb913ea1a65239ca458b3eddc1d12ac diff --git a/build/build.xml b/build/build.xml index 2d538e605..231f1cad6 100644 --- a/build/build.xml +++ b/build/build.xml @@ -182,22 +182,19 @@ - - - - - - + - + - + + +