diff options
Diffstat (limited to '.ci/gcc.sh')
| -rw-r--r-- | .ci/gcc.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.ci/gcc.sh b/.ci/gcc.sh index 8d09c756a7..ad9cbd33b0 100644 --- a/.ci/gcc.sh +++ b/.ci/gcc.sh @@ -15,7 +15,9 @@ setup_prebuilt_deps x64 export VALGRIND=1 export VALGRIND_LOG="$tmpdir/valgrind-%p.log" -CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON -DUSE_GCOV=ON" +CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON \ + -DUSE_GCOV=ON \ + -DBUSTED_OUTPUT_TYPE=plainTerminal" # Build and output version info. $MAKE_CMD CMAKE_EXTRA_FLAGS="$CMAKE_EXTRA_FLAGS" nvim |