]> 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 8e9f0e345168e5216936e62e6198d3d04eab0aea..e94d03fd66b91d8d23397653a2ae52a6bd15bedb 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=""