diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | Makefile | 9 |
2 files changed, 12 insertions, 2 deletions
@@ -1,5 +1,10 @@ 2011-12-13 Kaz Kylheku <kaz@kylheku.com> + * Makefile (repatch): New phony target. + (distclean): Remove mpi directory. + +2011-12-13 Kaz Kylheku <kaz@kylheku.com> + Patch to shrink mpi-int to three words on 32 bit platforms, so that obj_t stays four pointers wide. @@ -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: |