summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.travis.yml6
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