configure: do not create roms/seabios/config.mak if SeaBIOS not present
authorPaolo Bonzini <pbonzini@redhat.com>
Fri, 7 Jan 2022 11:40:29 +0000 (12:40 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 12 Jan 2022 13:09:06 +0000 (14:09 +0100)
commitbb7cb3ad295c1d99e694f3133de571d80442fb61
treeb8dfdd34292dc88b24404347d370f163bd49dce5
parent533b0a1a41df3d9edeb44d6dc957f04d20ca143f
configure: do not create roms/seabios/config.mak if SeaBIOS not present

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