Index: Makefile
===================================================================
--- Makefile	(revision 13695)
+++ Makefile	(revision 13696)
@@ -16,6 +16,8 @@
 	cd tests && $(MAKE) clean
 	cd src_3rd/sphash && $(MAKE) clean
 	cd src_3rd/puplug && $(MAKE) clean
+	cd src_3rd/libminuid && $(MAKE) clean ; true
+	cd src_3rd/libuundo && $(MAKE) clean ; true
 
 distclean: FORCE
 	$(MAKE) clean ; true