diff options
author | Ivan Maidanski <ivmai@mail.ru> | 2017-03-21 12:01:26 +0300 |
---|---|---|
committer | Ivan Maidanski <ivmai@mail.ru> | 2017-05-16 16:08:42 +0300 |
commit | 8521591a0bb721b15d281888930af8e5b1ab8e1f (patch) | |
tree | ed13010b62f357b913262db0913e69f1672e7cce | |
parent | e823c7d40cad5ef38e6c20ffda24e81cd80b305a (diff) | |
download | libatomic_ops-8521591a0bb721b15d281888930af8e5b1ab8e1f.tar.gz |
Travis CI: Also test with musl-gcc (Linux)
(Cherry-pick commit 1659f29 from 'release-7_4' branch.)
-rw-r--r-- | .travis.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 4ed4eb2..d49662b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -15,6 +15,13 @@ matrix: - os: linux env: - MAKEFILE_TARGET=dist + - os: linux + addons: + apt: + packages: + - musl-tools + compiler: musl-gcc + dist: trusty before_install: - if [[ "$MAKEFILE_TARGET" == "dist"* ]]; then |