arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-19 23:22:16 +03:00
Code

upgrade arduino in CI (#7716)

Browse Source 
Thanks to @matthijskooijman, @per1234 and @earlephilhower
This commit is contained in:
david gauchard 2020-12-31 23:19:58 +01:00 committed by GitHub
parent a25895a764
commit 5b42e73baa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
tests/common.sh
View File

@ -82,7 +82,8 @@ function build_sketches()
if [ -e $cache_dir/core/*.a ]; then if [ -e $cache_dir/core/*.a ]; then
# We need to preserve the build.options.json file and replace the last .ino # We need to preserve the build.options.json file and replace the last .ino
# with this sketch's ino file, or builder will throw everything away. # with this sketch's ino file, or builder will throw everything away.
sed -i "s,^.*sketchLocation.*$, \"sketchLocation\": \"$sketch\"\,,g" $build_dir/build.options.json jq '."sketchLocation" = "'$sketch'"' $build_dir/build.options.json > $build_dir/build.options.json.tmp
mv $build_dir/build.options.json.tmp $build_dir/build.options.json
# Set the time of the cached core.a file to the future so the GIT header # Set the time of the cached core.a file to the future so the GIT header
# we regen won't cause the builder to throw it out and rebuild from scratch. # we regen won't cause the builder to throw it out and rebuild from scratch.
touch -d 'now + 1 day' $cache_dir/core/*.a touch -d 'now + 1 day' $cache_dir/core/*.a
@ -153,11 +154,11 @@ function install_libraries()
function install_ide() function install_ide()
{ {
#local idever='nightly' local idever='nightly'
#local ideurl='https://www.arduino.cc/download.php?f=/arduino-nightly' local ideurl='https://www.arduino.cc/download.php?f=/arduino-nightly'
local idever='1.8.10' #local idever='1.8.10'
local ideurl="https://downloads.arduino.cc/arduino-$idever" #local ideurl="https://downloads.arduino.cc/arduino-$idever"
echo "using Arduino IDE distribution ${idever}" echo "using Arduino IDE distribution ${idever}"