message: Test dedupe - for now we run os x tests on Jenkins.
  And as Travis is the slowest part of Stan builds, we'll cut off the OS X builds to save time
  and get feedback to developers sooner. They're still covered by the Jenkins tests.
diff: @@ -4,7 +4,6 @@ sudo: false
  os:
  - linux
  - - osx
  compiler:
  - clang
  @@ -18,9 +17,6 @@ before_script:
  matrix:
  fast_finish: true
  - exclude:
  - - os: osx
  - compiler: gcc
  script:
  - git submodule foreach 'echo $path `git rev-parse HEAD`'
  