Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/7243
-gerrit
commit 383113032151daa5b066b2cdca727546108f0c00 Author: Patrick Georgi pgeorgi@google.com Date: Wed Oct 29 15:50:32 2014 +0100
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 --- Makefile.inc | 4 ++++ 1 file changed, 4 insertions(+)
diff --git a/Makefile.inc b/Makefile.inc index daf4cf4..934755f 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