diff options
-rwxr-xr-x | script/trees | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/script/trees b/script/trees index d9111eb6..5f80c344 100755 --- a/script/trees +++ b/script/trees @@ -293,11 +293,7 @@ mkpayload_grub() copy_elf() { - [ -f "$listfile" ] || return 0 - - x_ mkdir -p "$dest_dir" - - while read -r f; do + [ -f "$listfile" ] && x_ mkdir -p "$dest_dir" && while read -r f; do [ -f "$cdir/$f" ] && x_ cp "$cdir/$f" "$dest_dir" done < "$listfile" x_ make clean -C "$cdir" |