git.iko.soy/Idris-dev
on master help sign in
Don't extract sdist verbosely
c0938d4Benjamin Saunders
.travis.yml+1−1
compare with master
unifiedsplit
@@ -2,7 +2,7 @@ language: haskell
2before_script:
2before_script:
3 - cabal sdist
3 - cabal sdist
4 - cd ../..
4 - cd ../..
5− - tar -xvf edwinb/Idris-dev/dist/idris*.tar.gz
5+ - tar -xf edwinb/Idris-dev/dist/idris*.tar.gz
6 - cd idris*
6 - cd idris*
7script:
7script:
8 - cabal configure
8 - cabal configure