diff options
| -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 |