diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-12-18 01:37:03 +0100 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2022-02-10 10:55:03 +0100 |
| commit | ae0be6f8b4af05ba8ea959690c2aa4e17609f0e7 (patch) | |
| tree | 97005928527a255e2dd82e5c6971426099e7f6d2 /resources/coreboot/kgpe-d16-rdimm_16mb/config | |
| parent | 37b450051362b4c54a8e05807f173b04649ce501 (diff) | |
scripts: download: coreboot: Fix check for build error
build_error is supposed to be a file since it's created with touch.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'resources/coreboot/kgpe-d16-rdimm_16mb/config')
0 files changed, 0 insertions, 0 deletions