2 files changed, 6 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 0a0d9b29..598436d1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-12-21  Kaz Kylheku  <kaz@kylheku.com>
+
+	* Makefile (distclean): use rm -rf on mpi directory.
+
 2011-12-20  Kaz Kylheku  <kaz@kylheku.com>
 
 	Test case for bug #35137
diff --git a/Makefile b/Makefile
index 0ba545bc..c5aaaa66 100644
--- a/Makefile
+++ b/Makefile
@@ -85,7 +85,8 @@ repatch:
 
 .PHONY: distclean
 distclean: clean
-	rm -f config.h config.make config.log $(top_srcdir)/mpi-$(mpi_version)
+	rm -f config.h config.make config.log
+	rm -rf $(top_srcdir)/mpi-$(mpi_version)
 
 .PHONY: depend
 depend: