From a51723fe794ea6fc8fdb904af9cd8048c025fd2d Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Wed, 28 Oct 2015 16:29:05 +0100 Subject: [PATCH] Updated and add libs --- arduino-core/src/processing/app/BaseNoGui.java | 4 ++-- build/Bridge-1.0.7.zip.sha | 1 - build/Bridge-1.1.0.zip.sha | 1 + build/Keyboard-1.0.0.zip.sha | 1 + build/Mouse-1.0.0.zip.sha | 1 + build/Temboo-1.1.3.zip.sha | 1 - build/Temboo-1.1.4.zip.sha | 1 + build/build.xml | 13 +++++-------- 8 files changed, 11 insertions(+), 12 deletions(-) delete mode 100644 build/Bridge-1.0.7.zip.sha create mode 100644 build/Bridge-1.1.0.zip.sha create mode 100644 build/Keyboard-1.0.0.zip.sha create mode 100644 build/Mouse-1.0.0.zip.sha delete mode 100644 build/Temboo-1.1.3.zip.sha create mode 100644 build/Temboo-1.1.4.zip.sha 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 @@ - - - - - - + - + - + + +