From b6ab7aaf03354bf273d3202396348b52931bc1c9 Mon Sep 17 00:00:00 2001 From: tekka Date: Sun, 21 Oct 2018 13:10:21 +0200 Subject: [PATCH] Jenkins:Update Arduino 1.8.7 (#1215) --- .ci/arduino.groovy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/arduino.groovy b/.ci/arduino.groovy index f151d0f6e..1d372247f 100644 --- a/.ci/arduino.groovy +++ b/.ci/arduino.groovy @@ -1,6 +1,6 @@ #!groovy def buildArduino(config, String buildFlags, String sketch, String key) { - def root = '/opt/arduino-1.8.6/' + def root = '/opt/arduino-1.8.7/' if (config.nightly_arduino_ide) { root = '/opt/arduino-nightly/'