diff options
author | Leah Rowe <leah@libreboot.org> | 2024-06-07 14:16:58 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-06-07 14:16:58 +0100 |
commit | d43247683b49e24bd01da6ac9b9676b6b0689568 (patch) | |
tree | 81f731e18f073faf605b8a82cb86a9ef7011ea2e /config/git/grub | |
parent | a4549e935e29ec8635b9737497d49adc98e2a3d3 (diff) |
git.sh: download "depend" projects *before*
don't do it after, because that means the main project
is saved under src/ before we know whether the subrepo
was downloaded.
the "depend" variable (in config/git/) is no longer used
for projects that go in subdirectories of a parent; now,
we use config/submodules/ for this type of dependency.
download the "depend" projects (as per config/git/) first.
this way, if they fail, the main one will fail, but if
they succeed and main fails, you can just run the main
download again and it won't fail.
this fixes a bug where, depending on how you download a
set of projects and depending on the order which you do so,
a given project can become un-downloadable on current design,
because git will complain that a directory already exists.
this fix is done not only in code (by this commit), but
by prior configuration changes.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/git/grub')
0 files changed, 0 insertions, 0 deletions