diff options
Diffstat (limited to 'script/trees')
| -rwxr-xr-x | script/trees | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/script/trees b/script/trees index 36cf48e4..52906582 100755 --- a/script/trees +++ b/script/trees @@ -179,7 +179,7 @@ check_coreboot_utils()  		utilmode=""  		[ -z "$mode" ] || utilmode="clean" -		x_ make -C "$utilsrcdir" $utilmode +		x_ make -C "$utilsrcdir" $utilmode -j$threads  		[ -z "$mode" ] && [ ! -f "$utilelfdir/$util" ] && \  			x_ mkdir -p "$utilelfdir" && \  			x_ cp "$utilsrcdir/$util" "elf/$util/$1" | 
