diff options
| author | Leah Rowe <leah@libreboot.org> | 2025-10-01 16:51:00 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2025-10-01 16:51:00 +0100 |
| commit | be1f4ebb9ccf1802d970c17a8b8a5259954d112a (patch) | |
| tree | 899e7072419653f85f99efd5e7548e358185fc39 /include/get.sh | |
| parent | 24f120d1b8d607a55d21f01032cb785813432a43 (diff) | |
get.sh: allow force-pull via -F instead of -f
use of ./mk -F behaves the same as -f before the
previous commit.
this can be useful, during development when we want
to update revisions.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'include/get.sh')
| -rw-r--r-- | include/get.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/get.sh b/include/get.sh index 6c7ddcf3..1080412e 100644 --- a/include/get.sh +++ b/include/get.sh @@ -232,7 +232,8 @@ try_git() x_ mv "$tmpgitcache" "$gitdest" fi - if git -C "$gitdest" whatchanged "$7" 1>/dev/null 2>/dev/null; then + if git -C "$gitdest" whatchanged "$7" 1>/dev/null 2>/dev/null && \ + [ "$forcepull" != "y" ]; then # don't try to pull the latest changes if the given target # revision already exists locally. this saves a lot of time # during release builds, and reduces the chance that we will |