Fix some travis configuration issues.

1 files changed, 1 insertions, 2 deletions

diff --git a/verify.sh b/verify.sh
index d3109a6..548971f 100755
--- a/verify.sh
+++ b/verify.sh
@@ -2,7 +2,6 @@
 set -e
 
 EXAMPLES=$PWD/examples
-ARDUINO="not found"
 
 if [[ ! -d "$ARDUINO_PATH" && -f "/usr/bin/arduino" ]]; then
   ARDUINO_PATH=/usr/bin
@@ -12,7 +11,7 @@ function example {
   if [[ -d "$ARDUINO_PATH" ]]; then
     echo "Using $ARDUINO_PATH/arduino"
     cd $ARDUINO_PATH
-    xvfb-run ./arduino --verify "$EXAMPLES/$1/$1.ino"
+    xvfb-run ./arduino --board arcore:avr:leonardo --verify "$EXAMPLES/$1/$1.ino"
   else
     echo "Set $ARDUINO_PATH to the folder containing the arduino binary"
   fi