diff options
Diffstat (limited to '.ci/gcc.sh')
| -rw-r--r-- | .ci/gcc.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.ci/gcc.sh b/.ci/gcc.sh new file mode 100644 index 0000000000..842e34405a --- /dev/null +++ b/.ci/gcc.sh @@ -0,0 +1,20 @@ +. "$CI_SCRIPTS/common.sh" + +set_environment /opt/neovim-deps/64 + +install_functional_test_deps + +sudo pip install cpp-coveralls + +sudo apt-get install valgrind + +export VALGRIND=1 +export VALGRIND_LOG="$tmpdir/valgrind-%p.log" +CMAKE_EXTRA_FLAGS="-DTRAVIS_CI_BUILD=ON -DUSE_GCOV=ON" + +$MAKE_CMD CMAKE_EXTRA_FLAGS="${CMAKE_EXTRA_FLAGS}" unittest +$MAKE_CMD test +valgrind_check "$tmpdir" +$MAKE_CMD oldtest + +coveralls --encoding iso-8859-1 || echo 'coveralls upload failed.' |