replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #2211 from tautschnig/travis-osx-cleanup 

Travis/OSX follow-up cleanup: remove unnecessary environment variables
This commit is contained in:
Michael Tautschnig 2018-05-22 06:29:11 +01:00 committed by GitHub
parent c8597a4001 11411e4405
commit c250880044
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.travis.yml
View File

@ -99,10 +99,7 @@ jobs:
before_install:
- HOMEBREW_NO_AUTO_UPDATE=1 brew install ccache parallel
- export PATH=$PATH:/usr/local/opt/ccache/libexec
env:
- COMPILER="ccache clang++"
- EXTRA_CXXFLAGS="-Qunused-arguments -fcolor-diagnostics"
- CCACHE_CPP2=yes
env: COMPILER="ccache clang++"
# Ubuntu Linux with glibc using g++-5, debug mode
- stage: Test different OS/CXX/Flags