git.iko.soy/Idris-dev
on master help sign in
Added `then` to bash if
commit42fe4f7e2b0fbaa804fb1a1fce86762d8af19c20 authorAhmad Salim Al-Sibahi <asal@itu.dk> dateTue 10 Feb 2015, 19:15 (12 years ago) parent95e4222
1 file changed+1−1
compare with master
unifiedsplit
.travis.yml+1−1
.travis.yml+1−1
@@ -25,7 +25,7 @@ script:
2525 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
2626 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
2727 - if [[ "$TESTS" != "doc" ]]; then cabal register; fi
28− - if [[ "$TESTS" == "test_c" ]]; cppcheck --error-exitcode=1 --quiet ./rts/ ; fi
28+ - if [[ "$TESTS" == "test_c" ]]; then cppcheck --error-exitcode=1 --quiet ./rts/ ; fi
2929 - if [[ "$TESTS" == "test_llvm" ]]; then git clone --depth 1 https://github.com/idris-hackers/idris-llvm.git ; cd idris-llvm ; cabal install ; cd .. ; fi
3030 - make -j2 $TESTS
3131env: