Make .travis.yml repository-independent
commitd64094c5e44aa0d4cd5e5d4ee7f5856d60f4ce41
authorBenjamin Saunders <besaunde@sfu.ca>
dateWed 31 Jul 2013, 21:57 (13 years ago)
parent58bb8e0
.travis.yml+2−2
@@ -6,8 +6,8 @@ before_install:
66 - sudo apt-get install -qq libgc-dev llvm-3.3
77before_script:
88 - cabal sdist
9− - cd ../..
10− - tar -xf edwinb/Idris-dev/dist/idris*.tar.gz
9+ - cd ..
10+ - tar -xf Idris-dev/dist/idris*.tar.gz
1111 - cd idris*
1212script:
1313 - cabal configure