diff options
| -rwxr-xr-x | resources/scripts/download/coreboot | 4 | 
1 files changed, 2 insertions, 2 deletions
| diff --git a/resources/scripts/download/coreboot b/resources/scripts/download/coreboot index 72bd28d2..45af272a 100755 --- a/resources/scripts/download/coreboot +++ b/resources/scripts/download/coreboot @@ -61,14 +61,14 @@ fetch_coreboot_trees()  	fi  	for board in ${boards}; do  		rm -f resources/coreboot/*/seen -		download_for_board "${board}" +		download_coreboot_for_board "${board}"  		[ -f build_error ] && break  	done  	rm -f resources/coreboot/*/seen  } -download_for_board() +download_coreboot_for_board()  {  	_board="${1}"  	cbtree="undefined" | 
