diff options
author | Tony Finch <dot@dot.at> | 2008-02-14 13:49:35 +0000 |
---|---|---|
committer | Tony Finch <dot@dot.at> | 2008-02-14 13:49:35 +0000 |
commit | 23510047606339a2fd8433d0542145445b60ff78 (patch) | |
tree | d7ab2f06b82677f6328bbc757dbaf11e98b83a03 /src/Makefile | |
parent | 65a7d8c381dfb4788ecd5c40a28365acb1f377e1 (diff) |
Fix parallel build (make -j). Fixes: bug #668.
Diffstat (limited to 'src/Makefile')
-rw-r--r-- | src/Makefile | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/Makefile b/src/Makefile index c1233fced..cf7968db0 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,4 +1,4 @@ -# $Cambridge: exim/src/Makefile,v 1.4 2005/09/12 13:55:54 ph10 Exp $ +# $Cambridge: exim/src/Makefile,v 1.5 2008/02/14 13:49:35 fanf2 Exp $ # Top-level makefile for Exim; handles creating a build directory with # appropriate links, and then creating and running the main makefile in that @@ -27,7 +27,8 @@ buildname=$${build:-`$(SHELL) scripts/os-type`-`$(SHELL) scripts/arch-type`} # The default target checks for the existence of Local/Makefile, that the main # makefile is built and up-to-date, and then it runs it. -all: Local/Makefile configure go +all: Local/Makefile configure + @cd build-$(buildname); $(MAKE) SHELL=$(SHELL) $(MFLAGS) Local/Makefile: @echo "" @@ -62,10 +63,6 @@ makefile: build-directory @cd build-$(buildname); $(RM_COMMAND) -f Makefile; \ build=$(build) $(SHELL) ../scripts/Configure-Makefile -# Go to the build directory and do the business - -go:; @cd build-$(buildname); $(MAKE) SHELL=$(SHELL) $(MFLAGS) - # The installation commands are kept in a separate script, which expects # to be run from inside the build directory. |