diff options
| -rw-r--r-- | .ci/gcc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ci/gcc.sh b/.ci/gcc.sh index 3e4ed505da..5879fe4b20 100644 --- a/.ci/gcc.sh +++ b/.ci/gcc.sh @@ -11,6 +11,7 @@ fi setup_deps x64 CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON \ + -DUSE_JEMALLOC=OFF \ -DUSE_GCOV=ON \ -DBUSTED_OUTPUT_TYPE=plainTerminal" |