On 12/10/2018 18:26, Alex Williamson wrote:
> Difficult to make use of if not installed
>
> Fixes: cd1bfd5ef336 ("seabios: update bios and vgabios binaries")
> Signed-off-by: Alex Williamson
Reviewed-by: Philippe Mathieu-Daudé
> ---
>
> Makefile |1 +
> 1 file changed, 1 insertion(+)
>
Difficult to make use of if not installed
Fixes: cd1bfd5ef336 ("seabios: update bios and vgabios binaries")
Signed-off-by: Alex Williamson
---
Makefile |1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile b/Makefile
index 1144d6e3ba0e..f2947186a4c3 100644
--- a/Makefile
+++