diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 22c523b..810563e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -165,6 +165,7 @@ jobs: export DISPLAY=:1.0 export PATH="$HOME/arduino_ide:$PATH" arduino --board $BOARD --save-prefs + arduino --pref update.check=false --pref build.verbose=false --pref cache.enable=true --pref compiler.cache_core=true --pref compiler.warning_level=default --save-prefs arduino --get-pref sketchbook.path arduino --get-pref diff --git a/travis/common.sh b/travis/common.sh index 135021d..2754bdc 100644 --- a/travis/common.sh +++ b/travis/common.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -ex +set -x function build_sketches() { @@ -31,10 +31,9 @@ function build_sketches() function build_sketch() { - set -e +x local arduino=$1 local sketch=$2 - $arduino --verify $sketch; + $arduino --verify --verbose $sketch; local result=$? if [ $result -ne 0 ]; then echo "Build failed ($sketch) build verbose..."