diff options
| -rw-r--r-- | .ci/gcc.sh | 1 |
1 files changed, 0 insertions, 1 deletions
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" |