diff options
Diffstat (limited to 'include/vendor.sh')
| -rwxr-xr-x | include/vendor.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/include/vendor.sh b/include/vendor.sh index ec194d53..0d38427a 100755 --- a/include/vendor.sh +++ b/include/vendor.sh @@ -179,8 +179,7 @@ extract_e6400vga() x_ cd "$appdir" [ -f "bios.bin" ] || $err "extract_e6400vga: can't extract bios.bin" "$e6400_unpack" bios.bin || printf "TODO: fix dell extract util\n" - [ -f "$E6400_VGA_romname" ] || \ - $err "extract_e6400vga: can't extract vga rom from bios.bin" + e "$E6400_VGA_romname" f missing && $err "can't extract e6400 vga rom" ) || $err "can't extract e6400 vga rom" cp "$appdir/$E6400_VGA_romname" "$_dest" || \ $err "extract_e6400vga $board: can't copy vga rom to $_dest" |