Re: [PATCH] configure: do not create roms/seabios/config.mak if SeaBIOS not present

2022-01-12 Thread Thomas Huth
On 07/01/2022 12.47, 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 cr

Re: [PATCH] configure: do not create roms/seabios/config.mak if SeaBIOS not present

2022-01-07 Thread Richard Henderson
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 crea

[PATCH] configure: do not create roms/seabios/config.mak if SeaBIOS not present

2022-01-07 Thread Paolo Bonzini
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. S