From d581aa02b11d67bb097867c44267c4d4cad7c329 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Tue, 13 Dec 2011 10:26:27 -0800
Subject: * Makefile (repatch): New phony target. (distclean): Remove mpi
 directory.

---
 Makefile | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3d850f40..0ba545bc 100644
--- a/Makefile
+++ b/Makefile
@@ -71,16 +71,21 @@ $(MPI_OBJS): CFLAGS += -DXMALLOC=chk_malloc -DXREALLOC=chk_realloc
 $(MPI_OBJS): CFLAGS += -DXCALLOC=chk_calloc -DXFREE=free
 
 .PHONY: rebuild
-rebuild: clean $(PROG)
+rebuild: clean repatch $(PROG)
 
 .PHONY: clean
 clean:
 	rm -f $(PROG) $(OBJS) \
 	  y.tab.c lex.yy.c y.tab.h y.output $(TESTS:.ok=.out)
 
+.PHONY: repatch
+repatch:
+	cd $(top_srcdir)/mpi-$(mpi_version); quilt pop -af
+	cd $(top_srcdir)/mpi-$(mpi_version); quilt push -a
+
 .PHONY: distclean
 distclean: clean
-	rm -f config.h config.make config.log
+	rm -f config.h config.make config.log $(top_srcdir)/mpi-$(mpi_version)
 
 .PHONY: depend
 depend:
-- 
cgit v1.2.3