Index: Makefile |
diff --git a/Makefile b/Makefile |
index 277c1f786dcb1500cf8eadccc41b795a0aecdb67..fbca56644cccb9a1a03a7a510f5d0702f34f3613 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)) |