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 /src/include/rmodule-defs.h | |
| 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>
Diffstat (limited to 'src/include/rmodule-defs.h')
0 files changed, 0 insertions, 0 deletions