diff options
Diffstat (limited to 'include/tree.sh')
| -rw-r--r-- | include/tree.sh | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/include/tree.sh b/include/tree.sh index d891c3af..9ac0ca6d 100644 --- a/include/tree.sh +++ b/include/tree.sh @@ -55,11 +55,8 @@ trees() if_dry_build="" if_not_do_make="" if_not_dry_build=":" - if [ "$flag" = "-F" ]; then - # don't skip git fetch/pull on cached src - - forcepull="y" - fi + [ "$flag" = "-F" ] && \ + forcepull="y"; : # never skip git fetch/pull ;; -s) mode="savedefconfig" ;; -l) mode="olddefconfig" ;; |