| Index: Makefile
|
| diff --git a/Makefile b/Makefile
|
| index 5dc6ca5ad608a1510180f740578cc616fa1b5ecf..2f86c512e47be7e6bc1bb39a77658b3ee63d277f 100644
|
| --- a/Makefile
|
| +++ b/Makefile
|
| @@ -137,6 +137,12 @@ ENVFILE = $(OUTDIR)/environment
|
| # Target definitions. "all" is the default.
|
| all: $(MODES)
|
|
|
| +# Special target for the buildbots to use. Depends on $(OUTDIR)/Makefile
|
| +# having been created before.
|
| +buildbot:
|
| + $(MAKE) -C "$(OUTDIR)" BUILDTYPE=$(BUILDTYPE) \
|
| + builddir="$(abspath $(OUTDIR))/$(BUILDTYPE)"
|
| +
|
| # Compile targets. MODES and ARCHES are convenience targets.
|
| .SECONDEXPANSION:
|
| $(MODES): $(addsuffix .$$@,$(DEFAULT_ARCHES))
|
|
|