diff options
author | Josh Haberman <jhaberman@gmail.com> | 2015-01-15 00:16:10 -0800 |
---|---|---|
committer | Josh Haberman <jhaberman@gmail.com> | 2015-01-15 00:16:10 -0800 |
commit | 51513c6e7f9df3f04fde0ff94bfe654f8dccaaa0 (patch) | |
tree | 089cfa186950ac3f11a81c16c06c38e7d4cca816 | |
parent | 1988a660f4b3093c61f7cbae3d1b21f609b4bd0b (diff) |
Add -O0 for coverage run to hopefully get better data.
-rwxr-xr-x | travis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -57,7 +57,7 @@ coverage_install() { } coverage_script() { make -j12 tests googlepbtests testlua WITH_JIT=yes \ - USER_CPPFLAGS="--coverage `pkg-config lua5.2 --cflags`" + USER_CPPFLAGS="--coverage -O0 `pkg-config lua5.2 --cflags`" make test } coverage_after_success() { |