@@ -19,11 +19,11 @@ before_script:
19 - cd idris*
19 - cd idris*
21 - cabal configure -f FFI -f LLVM
21 - cabal configure -f FFI -f LLVM
22− - cabal build
22+ - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
23− - cabal copy
23+ - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
24 - make -j2 $TESTS
24 - make -j2 $TESTS
26− - TESTS=doc
26+ - TESTS="doc"
27− - TESTS=test_c
27+ - TESTS="test_c"
28− - TESTS=test_llvm
28+ - TESTS="test_llvm"
29− - TESTS=test_js
29+ - TESTS="test_js"