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

Update travis.yml, disable parallel build on travis-ci

Browse source
This commit is contained in:
Soonho Kong 2013-09-15 03:40:28 -07:00
parent 7834fe045f
commit c9affe489f
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.travis.yml
View file

@ -136,6 +136,8 @@ script:
- mkdir -p build - mkdir -p build
- cd build - cd build
- cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER} -G Ninja ../src - cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DCMAKE_CXX_COMPILER=${CMAKE_CXX_COMPILER} -G Ninja ../src
- CONFIG_FILE=DartConfiguration.tcl;
sed -i "s/^MakeCommand:\(.*\)/MakeCommand:\1 -j 1/" $CONFIG_FILE;
- if [[ $CMAKE_BUILD_TYPE == DEBUG || $CMAKE_BUILD_TYPE == RELEASE || $CMAKE_BUILD_TYPE == TESTCOV ]]; then - if [[ $CMAKE_BUILD_TYPE == DEBUG || $CMAKE_BUILD_TYPE == RELEASE || $CMAKE_BUILD_TYPE == TESTCOV ]]; then
SITE=Ubuntu12.04@Travis; SITE=Ubuntu12.04@Travis;
GIT_COMMIT=`git log --oneline -n 1 | cut -d ' ' -f 1`; GIT_COMMIT=`git log --oneline -n 1 | cut -d ' ' -f 1`;
@ -149,7 +151,7 @@ script:
sed -i "s/^Site:.*/Site:$SITE/" $CONFIG_FILE; sed -i "s/^Site:.*/Site:$SITE/" $CONFIG_FILE;
sed -i "s/BuildName:.*/BuildName:$BUILD_NAME/" $CONFIG_FILE; sed -i "s/BuildName:.*/BuildName:$BUILD_NAME/" $CONFIG_FILE;
if [[ $MEMCHECK == TRUE ]]; then if [[ $MEMCHECK == TRUE ]]; then
ninja; ninja -j 1;
else else
ctest -D ExperimentalConfigure; ctest -D ExperimentalConfigure;
sed -i "s/^Site:.*/Site:$SITE/" $CONFIG_FILE; sed -i "s/^Site:.*/Site:$SITE/" $CONFIG_FILE;