mirror of
https://github.com/esp8266/Arduino.git
synced 2025-07-24 19:42:27 +03:00
try dual OS build
This commit is contained in:
committed by
Ivan Grokhotkov
parent
198fbb8895
commit
cab5109799
@ -1,12 +1,16 @@
|
||||
sudo: true
|
||||
language: java
|
||||
|
||||
os:
|
||||
- linux
|
||||
- osx
|
||||
|
||||
jdk:
|
||||
- oraclejdk8
|
||||
|
||||
script:
|
||||
- sudo apt-get update -qq
|
||||
- sudo apt-get install -qq ant
|
||||
- if [ "$TRAVIS_OS_NAME" = "linux" ]; then sudo apt-get update -qq; fi
|
||||
- if [ "$TRAVIS_OS_NAME" = "linux" ]; then sudo apt-get install -qq ant; fi
|
||||
- pushd build
|
||||
- echo "" | ant dist
|
||||
- popd
|
||||
|
Reference in New Issue
Block a user