diff options
| author | Ralf Kistner <ralf.kistner@gmail.com> | 2013-03-19 16:53:27 +0200 |
|---|---|---|
| committer | Ralf Kistner <ralf.kistner@gmail.com> | 2013-03-19 16:53:27 +0200 |
| commit | e13eb8fe33298be31a9053528285fc12babd7835 (patch) | |
| tree | 2a78ddf04a5d4b440cf5e7210eb0b4db7c49e86f /verify.sh | |
| parent | 0f1498e64049b82e12f9a21a4edd4dc440971863 (diff) | |
More travis fixes.
Diffstat (limited to 'verify.sh')
| -rwxr-xr-x | verify.sh | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 } |
