aboutsummaryrefslogtreecommitdiff
path: root/verify.sh
diff options
context:
space:
mode:
authorRalf Kistner <ralf.kistner@gmail.com>2013-03-19 16:53:27 +0200
committerRalf Kistner <ralf.kistner@gmail.com>2013-03-19 16:53:27 +0200
commite13eb8fe33298be31a9053528285fc12babd7835 (patch)
tree2a78ddf04a5d4b440cf5e7210eb0b4db7c49e86f /verify.sh
parent0f1498e64049b82e12f9a21a4edd4dc440971863 (diff)
More travis fixes.
Diffstat (limited to 'verify.sh')
-rwxr-xr-xverify.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/verify.sh b/verify.sh
index 1af41c0..8ee3563 100755
--- a/verify.sh
+++ b/verify.sh
@@ -8,13 +8,14 @@ if [[ ! -d "$ARDUINO_PATH" && -f "/usr/bin/arduino" ]]; then
fi
function example {
- if [[ -d "$ARDUINO_PATH" ]]; then
+ if [[ -f "$ARDUINO_PATH/arduino" ]]; then
echo "Using $ARDUINO_PATH/arduino"
cd $ARDUINO_PATH
xvfb-run ./arduino --board arcore:avr:leonardo --verify "$EXAMPLES/$1/$1.ino"
sleep 1
else
- echo "Set $ARDUINO_PATH to the folder containing the arduino binary"
+ echo "Set ARDUINO_PATH to the folder containing the arduino binary"
+ exit 1
fi
}