diff options
Diffstat (limited to 'resources')
| -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 5b2284d8..bcf9c3cd 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 - downloadfor "${board}" + download_for_board "${board}" [ -f build_error ] && break done rm -f resources/coreboot/*/seen } -downloadfor() { +download_for_board() { _board="${1}" cbtree="undefined" |