a new default redis.conf

[redis.git] / Makefile

diff --git a/Makefile b/Makefile
index 34b35f5767c188b63b8fe9e342bf8d3335a6be98..c036e10cd5d180419185191da54432ce6cfb96d8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ redis-cli: $(CLIOBJ)
        $(CC) -c $(CFLAGS) $(DEBUG) $(COMPILE_TIME) $<
 
 clean:
-       rm -rf $(PRGNAME) $(BENCHPRGNAME) $(CLIPRGNAME) *.o
+       rm -rf $(PRGNAME) $(BENCHPRGNAME) $(CLIPRGNAME) *.o *.gcda *.gcno *.gcov
 
 dep:
        $(CC) -MM *.c
@@ -80,5 +80,8 @@ log:
 gprof:
        make PROF="-pg"
 
+gcov:
+       make PROF="-fprofile-arcs -ftest-coverage"
+
 32bitgprof:
        make PROF="-pg" ARCH="-arch i386"