From 14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Wed, 21 Dec 2011 06:17:44 -0800
Subject: * Makefile (distclean): use rm -rf on mpi directory.

---
 ChangeLog | 4 ++++
 Makefile  | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)

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:
-- 
cgit v1.2.3