]> git.saurik.com Git - redis.git/commitdiff
Ingore jemalloc make distclean error in Makefile, caused by make clean against a...
authorantirez <antirez@gmail.com>
Tue, 5 Jul 2011 11:27:21 +0000 (13:27 +0200)
committerantirez <antirez@gmail.com>
Tue, 5 Jul 2011 11:27:21 +0000 (13:27 +0200)
Makefile

index 7ce9031c45e7d0833cfedf4108c8ec8832ba4177..44df36f5e35038de0b8cf958d0f4d99f3a345e5e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ clean:
        cd src && $(MAKE) $@
        cd deps/hiredis && $(MAKE) $@
        cd deps/linenoise && $(MAKE) $@
-       cd deps/jemalloc && $(MAKE) distclean
+       -(cd deps/jemalloc && $(MAKE) distclean)
 
 $(TARGETS):
        cd src && $(MAKE) $@