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 bcf9c3cd..04d2c09d 100755 --- a/resources/scripts/download/coreboot +++ b/resources/scripts/download/coreboot @@ -68,8 +68,8 @@ fetch_coreboot_trees()  	rm -f resources/coreboot/*/seen  } -download_for_board() { - +download_for_board() +{  	_board="${1}"  	cbtree="undefined"  	cbrevision="undefined" | 
