michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update .travis.windows.yml

Browse source 
Explicitly turn off TCMALLOC for windows builds
[skip ci]
This commit is contained in:
Soonho Kong 2013-09-20 13:41:26 -07:00
parent dae654e4c6
commit efa8bd3ff4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.windows.yml
View file

@ -26,7 +26,7 @@ script:
- mkdir -p build - mkdir -p build
- LEAN_ROOT=`pwd` - LEAN_ROOT=`pwd`
- cd build - cd build
- cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} ../src -DCMAKE_TOOLCHAIN_FILE=/tmp/mxe/usr/x86_64-w64-mingw32/share/cmake/mxe-conf.cmake - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} ../src -DTCMALLOC=OFF -DCMAKE_TOOLCHAIN_FILE=/tmp/mxe/usr/x86_64-w64-mingw32/share/cmake/mxe-conf.cmake
- SITE=Windows@Travis - SITE=Windows@Travis
- GIT_COMMIT=`git log HEAD~ --oneline -n 1 | cut -d ' ' -f 1` - GIT_COMMIT=`git log HEAD~ --oneline -n 1 | cut -d ' ' -f 1`
- if [[ $CMAKE_BUILD_TYPE == RELEASE ]]; then - if [[ $CMAKE_BUILD_TYPE == RELEASE ]]; then