diff options
Diffstat (limited to 'include/tree.sh')
| -rw-r--r-- | include/tree.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/tree.sh b/include/tree.sh index 51e55421..166a3d86 100644 --- a/include/tree.sh +++ b/include/tree.sh @@ -26,6 +26,7 @@ cmd="" defconfig="" dest_dir="" elfdir="" +forcepull="" gccdir="" gccfull="" gccver="" @@ -92,7 +93,7 @@ trees() if [ "$flag" = "-F" ]; then # don't skip git fetch/pull on cached src - if_not_force_pull=":" + forcepull="y" fi ;; -s) mode="savedefconfig" ;; |