On 1 June 2016 at 10:19, Tim Northover wrote:
> On 1 June 2016 at 10:12, Dan Liew via cfe-dev wrote:
>> the directories for each submodule will stay empty. Thus it isn't
>> necessary to pull down all the sources when using git submodules.
>> This would need support from the build system though. I
> Even though git 1.7 or something deals with submodules better - I
> don't personally like them at all. I'd rather have a convenience
> script or something which pulls and clones the sources. Not everyone
> needs all the sources and then there's the question of all the
> subprojects and build.. et
