diff options
| -rwxr-xr-x | script/trees | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/trees b/script/trees index 9c1531a2..869b5714 100755 --- a/script/trees +++ b/script/trees @@ -232,8 +232,7 @@ handle_makefile() run_make_command || $err "handle_makefile $cdir: no makefile!" - _copy=".config" - [ "$mode" = "savedefconfig" ] && _copy="defconfig" + _copy=".config" && [ "$mode" = "savedefconfig" ] && _copy="defconfig" [ "${mode%config}" = "$mode" ] || x_ cp "$cdir/$_copy" "$config" [ -e "$cdir/.git" ] && [ "$project" = "u-boot" ] && \ |