Optimization fixed and re-activated

[redis.git] / Makefile

diff --git a/Makefile b/Makefile
index b3e3bf65055a955224af04bebac7dd45f1ceb5d5..df840313f13cfb335d0a1a6b8d8184e7dc218c13 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -67,7 +67,7 @@ redis-check-dump: $(CHECKDUMPOBJ)
        $(CC) -c $(CFLAGS) $(DEBUG) $(COMPILE_TIME) $<
 
 clean:
-       rm -rf $(PRGNAME) $(BENCHPRGNAME) $(CLIPRGNAME) *.o *.gcda *.gcno *.gcov
+       rm -rf $(PRGNAME) $(BENCHPRGNAME) $(CLIPRGNAME) $(CHECKDUMPPRGNAME) *.o *.gcda *.gcno *.gcov
 
 dep:
        $(CC) -MM *.c