summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2011-12-21 06:17:44 -0800
committerKaz Kylheku <kaz@kylheku.com>2011-12-21 06:17:44 -0800
commit14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3 (patch)
tree1b1422fb7283ca459712f3a9b5080c0c2d5387d5
parentc399836c51bf8a284c9dda642aceb12fc8351496 (diff)
downloadtxr-14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3.tar.gz
txr-14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3.tar.bz2
txr-14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3.zip
* Makefile (distclean): use rm -rf on mpi directory.
-rw-r--r--ChangeLog4
-rw-r--r--Makefile3
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: