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;