idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-05 02:18:13 +03:00
Code Issues Projects Releases Wiki Activity

Distribute travis builds.

Browse Source
This commit is contained in:
Tom Prince 2013-11-27 14:11:55 -07:00
parent 027bd15381
commit 1c6a992cd4
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.travis.yml
View File

@ -14,7 +14,8 @@ script:
- cabal configure -f FFI -f LLVM
- cabal build
- cabal copy
- make -j2 test
- make -j2 test_llvm
- make -j2 test_java
- make -j2 $TESTS
env:
- TESTS=test
- TESTS=test_java
- TESTS=test_llvm