diff options
Diffstat (limited to 'Makefile.subdir')
| -rw-r--r-- | Makefile.subdir | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.subdir b/Makefile.subdir index 293b2771b..7b7c90561 100644 --- a/Makefile.subdir +++ b/Makefile.subdir @@ -1,4 +1,10 @@ # -*-makefile-*- +# +# This makefile is included from source directories in order to +# trigger a build in the corresponding build directory. +# +# See src/Makefile for an example. +# include $(topdir)/builds/current builddir = $(topdir)/builds/$(CURRENT_BUILD)/$(srcdir) unittestdir = $(topdir)/builds/$(CURRENT_BUILD)/test/unit |