diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index 978e6b48..5bc39034 100644 --- a/.travis.yml +++ b/.travis.yml @@ -15,15 +15,11 @@ compiler: # packages: # - mlton -# brew install mlton doesn't seem to work (https://github.com/travis-ci/travis-ci/issues/5379) -matrix: - allow_failures: - - os: osx - before_install: - if command -v apt-get &>/dev/null; then sudo apt-get update -qq; fi - if command -v apt-get &>/dev/null; then sudo apt-get install -y mlton; fi - if command -v brew &>/dev/null; then brew update; fi + - if command -v brew &>/dev/null; then brew tap homebrew/boneyard; fi - if command -v brew &>/dev/null; then brew install mlton; fi script: ./autogen.sh && ./configure && make && make test |