File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -165,6 +165,7 @@ jobs:
165
165
export DISPLAY=:1.0
166
166
export PATH="$HOME/arduino_ide:$PATH"
167
167
arduino --board $BOARD --save-prefs
168
+ 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
168
169
arduino --get-pref sketchbook.path
169
170
arduino --get-pref
170
171
Original file line number Diff line number Diff line change 1
1
#! /bin/bash
2
2
3
- set -ex
3
+ set -x
4
4
5
5
function build_sketches()
6
6
{
@@ -31,10 +31,9 @@ function build_sketches()
31
31
32
32
function build_sketch()
33
33
{
34
- set -e +x
35
34
local arduino=$1
36
35
local sketch=$2
37
- $arduino --verify $sketch ;
36
+ $arduino --verify --verbose $sketch ;
38
37
local result=$?
39
38
if [ $result -ne 0 ]; then
40
39
echo " Build failed ($sketch ) build verbose..."
You can’t perform that action at this time.
0 commit comments