diff options
author | yenatch <yenatch@gmail.com> | 2018-07-01 00:22:34 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-01 00:22:34 -0400 |
commit | 89c2646ccaa2c9a0afb358c1d9738e9bb0d42c97 (patch) | |
tree | a64ee8bed8c68a0aee1395510ba68304dda96513 | |
parent | 2641f93ad084b1329b3f3b9f7c8c222445fc4832 (diff) | |
parent | 162db5cdfdf0e6495a19491a551fafe229462d2b (diff) |
Merge pull request #538 from yenatch/travis
osx build
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 266592f40..ab3908bb4 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,4 +1,7 @@ language: c +os: + - linux + - osx install: - |- path="$(pwd)"; cd; @@ -20,4 +23,3 @@ before_script: script: - make -j2 compare - check_status - |