From 75a884c41d5df5b9bdd91b7058861e96fb6ec8c8 Mon Sep 17 00:00:00 2001 From: Michael Reed Date: Tue, 12 May 2015 05:39:37 -0400 Subject: [PATCH] ci: Remove USE_JEMALLOC reference It was removed in 8130eb1191aece52d8b2790302abf1bd09aaf90f --- .ci/gcc.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/.ci/gcc.sh b/.ci/gcc.sh index 5879fe4b20..3e4ed505da 100644 --- a/.ci/gcc.sh +++ b/.ci/gcc.sh @@ -11,7 +11,6 @@ fi setup_deps x64 CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON \ - -DUSE_JEMALLOC=OFF \ -DUSE_GCOV=ON \ -DBUSTED_OUTPUT_TYPE=plainTerminal"