diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2011-12-21 06:17:44 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2011-12-21 06:17:44 -0800 |
| commit | 14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3 (patch) | |
| tree | 1b1422fb7283ca459712f3a9b5080c0c2d5387d5 /Makefile | |
| parent | c399836c51bf8a284c9dda642aceb12fc8351496 (diff) | |
| download | txr-14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3.tar.gz txr-14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3.tar.bz2 txr-14a83fa427a4fad99b7a5bc288c47a7e0bcc95f3.zip | |
* Makefile (distclean): use rm -rf on mpi directory.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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: |