diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2014-10-29 15:50:32 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2014-11-04 08:59:04 +0100 |
| commit | 88883163c49c62d3c5156eb5fc95ef718065f561 (patch) | |
| tree | 056bae4ed97e142ebae2c3235dcda4c796dd5db2 | |
| parent | b4ce4d481418807be96930b36e47408d8f95654e (diff) | |
build: fetch submodules as required
Also document the unusual git feature we employ for 3rdparty
Change-Id: I1d1c986f9d1c4dd8db687d746dbdeb510679141a
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: http://review.coreboot.org/7243
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
| -rw-r--r-- | Makefile.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.inc b/Makefile.inc index daf4cf4975..934755fd68 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -123,7 +123,11 @@ ifeq ($(CONFIG_COVERAGE),y) CFLAGS_ramstage += -fprofile-arcs -ftest-coverage endif +# try to fetch non-optional submodules +forgetthis:=$(shell git submodule update --init) ifeq ($(CONFIG_USE_BLOBS),y) +# this is necessary because 3rdparty is update=none, and so is ignored +# unless explicitly requested and enabled through --checkout forgetthis:=$(shell git submodule update --init --checkout 3rdparty) endif |