diff options
author | Leah Rowe <leah@libreboot.org> | 2025-10-01 16:28:04 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2025-10-01 16:28:04 +0100 |
commit | 24f120d1b8d607a55d21f01032cb785813432a43 (patch) | |
tree | 4f706568937f4663340f0e3d0235f95d20973d81 /include/mrc.sh | |
parent | 084b8b65c69f6c0411be42b843c3e0f99a387282 (diff) |
get.sh: only pull if the local revision is missing
we pull from upstream in cached git repos, before performing
an operation, and we run from the cache, but we do this every
time, even if a local revision exists, defeating the purpose
of the caching; on unreliable/intermittent internet connections,
this can cause a problem.
this also causes us problems with gnulib.git and grub.cfg, which
for *some reason* are really slow, even when doing a pull.
this change improves the efficiency of the build system, during
release builds, on a development repository where we already
have lots of caches.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'include/mrc.sh')
0 files changed, 0 insertions, 0 deletions