|
| From: | Richard Henderson |
| Subject: | Re: [PATCH] configure: do not create roms/seabios/config.mak if SeaBIOS not present |
| Date: | Fri, 7 Jan 2022 11:59:28 -0800 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 |
On 1/7/22 3:47 AM, Paolo Bonzini wrote:
If roms/seabios/Makefile is not present, the configure script is not creating the roms/seabios directory anymore (commit 5dce7b8d8c, "configure: remove DIRS", 2021-12-18); thus, creating roms/seabios/config.mak fails. The easiest thing to do is to not create the file, since it will not be used. Signed-off-by: Paolo Bonzini<pbonzini@redhat.com> --- configure | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)
Reviewed-by: Richard Henderson <richard.henderson@linaro.org> r~
| [Prev in Thread] | Current Thread | [Next in Thread] |