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