1 files changed, 2 insertions, 1 deletions

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: