summaryrefslogtreecommitdiff
path: root/travis.sh
diff options
context:
space:
mode:
authorJosh Haberman <jhaberman@gmail.com>2015-01-15 00:16:10 -0800
committerJosh Haberman <jhaberman@gmail.com>2015-01-15 00:16:10 -0800
commit51513c6e7f9df3f04fde0ff94bfe654f8dccaaa0 (patch)
tree089cfa186950ac3f11a81c16c06c38e7d4cca816 /travis.sh
parent1988a660f4b3093c61f7cbae3d1b21f609b4bd0b (diff)
Add -O0 for coverage run to hopefully get better data.
Diffstat (limited to 'travis.sh')
-rwxr-xr-xtravis.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/travis.sh b/travis.sh
index 1cb6a04..26cf481 100755
--- a/travis.sh
+++ b/travis.sh
@@ -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() {
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback