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

Skip confirmation prompt

Browse Source
This commit is contained in:
Benjamin Saunders 2013-10-07 12:08:53 -07:00
parent 692b45475a
commit 054821afe5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -1,6 +1,6 @@
language: haskell
before_install:
- sudo add-apt-repository ppa:h-rayflood/llvm
- sudo add-apt-repository --yes ppa:h-rayflood/llvm
- sudo apt-get update -qq
- sudo apt-get install -qq libgc-dev llvm-3.3
before_script: