]> git.saurik.com Git - redis.git/blobdiff - src/Makefile
For coverage testing use exit() instead of _exit() when termiating saving children.
[redis.git] / src / Makefile
index 11f270b9d1e7a6c522a2a485d665c10c063809d2..8116ee2be068d9f1452777d9c6397ece49daf6fa 100644 (file)
@@ -263,7 +263,7 @@ gprof:
        $(MAKE) PROF="-pg"
 
 gcov:
-       $(MAKE) PROF="-fprofile-arcs -ftest-coverage"
+       $(MAKE) PROF="-fprofile-arcs -ftest-coverage -DCOVERAGE_TEST"
 
 noopt:
        $(MAKE) OPTIMIZATION=""