From 2e3306dc850b9c9087d68b485ab4417568b61150 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 4 Sep 2014 15:41:07 -0700
Subject: [PATCH] chore(.travis.yml): avoid g++-4.8.1 + DEBUG + TCMALLOC

The combination sometimes triggers the following compiler error:

The log says:
               g++-4.8: internal compiler error: Killed (program cc1plus)

See: https://travis-ci.org/leanprover/lean/jobs/34351197

We can try this one again when travis-ci.org switches to Ubuntu 14.04 where we can use either gcc-4.8.3 or gcc-4.9.0.

See: https://github.com/travis-ci/travis-ci/issues/2046
---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 589bc8fbe..900b510f0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -105,7 +105,7 @@ env:
    # M2-1. g++-4.8     | DEBUG    | MEMCHECK       | CDASH
    - CMAKE_CXX_COMPILER=g++-4.8
      CMAKE_BUILD_TYPE=DEBUG
-     TCMALLOC=ON
+     TCMALLOC=OFF
      MEMCHECK=TRUE
      MEMCHECK_RANGE=1,40
      PUSH_TO_CDASH=TRUE
@@ -113,7 +113,7 @@ env:
     # M2-2. g++-4.8     | DEBUG    | MEMCHECK       | CDASH
    - CMAKE_CXX_COMPILER=g++-4.8
      CMAKE_BUILD_TYPE=DEBUG
-     TCMALLOC=ON
+     TCMALLOC=OFF
      MEMCHECK=TRUE
      MEMCHECK_RANGE=40,80
      PUSH_TO_CDASH=TRUE