From 04249a9b62fc03773f08b8c51d52bb2748dc7ef1 Mon Sep 17 00:00:00 2001
From: Links <help.markus+gitk@gmail.com>
Date: Fri, 24 Jun 2022 10:35:37 +0200
Subject: [PATCH] more debug

---
 .github/workflows/main.yml | 2 +-
 travis/common.sh           | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index de0561b..22c523b 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -166,7 +166,7 @@ jobs:
           export PATH="$HOME/arduino_ide:$PATH"
           arduino --board $BOARD --save-prefs
           arduino --get-pref sketchbook.path
-
+          arduino --get-pref
 
       - name: build example
         timeout-minutes: 20
diff --git a/travis/common.sh b/travis/common.sh
index c1c2328..135021d 100644
--- a/travis/common.sh
+++ b/travis/common.sh
@@ -31,6 +31,7 @@ function build_sketches()
 
 function build_sketch()
 {
+    set -e +x
     local arduino=$1
     local sketch=$2
     $arduino --verify $sketch;