Jenkins:Update Arduino 1.8.7 (#1215)

tekka007 · web-flow · commit b6ab7aaf0335 · 2018-10-21T13:10:21.000+02:00
diff --git 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/'

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`#!groovy`
`2`	`2`	`def buildArduino(config, String buildFlags, String sketch, String key) {`
`3`		`- def root = '/opt/arduino-1.8.6/'`
	`3`	`+ def root = '/opt/arduino-1.8.7/'`
`4`	`4`	`if (config.nightly_arduino_ide)`
`5`	`5`	`{`
`6`	`6`	`root = '/opt/arduino-nightly/'`