Links2004/arduinoWebSockets
1
0
Fork 1
mirror of https://github.com/Links2004/arduinoWebSockets.git synced 2025-07-21 10:52:06 +02:00
Code Issues Packages Projects Releases Wiki Activity

more debug

Browse Source
This commit is contained in:
Links
2022-06-24 10:48:51 +02:00
committed by Markus
parent 04249a9b62
commit 2110ad0a10
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/main.yml vendored
View File

@ -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

5
travis/common.sh
View File

@ -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..."