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/tree.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/tree.sh')
| -rw-r--r-- | include/tree.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/include/tree.sh b/include/tree.sh index c0802bfe..bfb60eea 100644 --- a/include/tree.sh +++ b/include/tree.sh @@ -8,7 +8,7 @@ eval "`setvars "" xarch srcdir premake gnatdir xlang mode makeargs elfdir cmd \ project target target_dir targets xtree _f release bootstrapargs mkhelper \ autoconfargs listfile autogenargs btype rev build_depend gccdir cmakedir \ defconfig postmake mkhelpercfg dry dest_dir mdir cleanargs gccver gccfull \ - gnatver gnatfull do_make badhash badtghash tree`" + gnatver gnatfull do_make badhash badtghash tree forcepull`" trees() { @@ -44,6 +44,11 @@ trees() do_make="n" # lets us know not to build anything dry=":" ;; + -F) # same as -F, but don't skip git fetch/pull on cache + do_make="n" # lets us know not to build anything + dry=":" + forcepull="y" + ;; -s) mode="savedefconfig" ;; -l) mode="olddefconfig" ;; -n) mode="nconfig" ;; |