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" | 
