[travis] Make the arduino download verbose (and move it from $HOME)

pull/18/head
Jesse Vincent 9 years ago
parent 36a49e3829
commit 1b67ff539d

@ -1,7 +1,7 @@
language: c
before_install:
- pushd $HOME
- if [ ! -d arduino-1.6.7 ]; then wget http://downloads.arduino.cc/arduino-1.6.7-linux64.tar.xz && tar xf arduino-1.6.7-linux64.tar.xz; fi
- pushd ..
- if [ ! -d arduino-1.6.7 ]; then wget -v http://downloads.arduino.cc/arduino-1.6.7-linux64.tar.xz && tar xvf arduino-1.6.7-linux64.tar.xz; fi
- popd
install:
- mkdir ../libs
@ -12,7 +12,7 @@ install:
- git clone https://github.com/keyboardio/KeyboardioSX1509.git
- popd
script:
- make compile size ARDUINO_PATH=$HOME/arduino-1.6.7 ARDUINO_LOCAL_LIB_PATH=../libs
- make compile size ARDUINO_PATH=../arduino-1.6.7 ARDUINO_LOCAL_LIB_PATH=../libs
notifications:
email:
on_success: change
@ -20,4 +20,4 @@ notifications:
cache:
- ccache
- directories:
- $HOME/arduino-1.6.7
- ../arduino-1.6.7
Loading…
Cancel
Save