Re: [Qemu-devel] [PATCH] Makefile vgabios.c: Add filename to VGA splash screen

[Gerhard Wiesinger]

Any comments?

Ciao,
Gerhard

--
http://www.wiesinger.com/


On Fri, 17 Feb 2012, Gerhard Wiesinger wrote:

> Filename is now displayed at VGA splash screen
> to see which BIOS on different VGAs will be used.
>
> Signed-off-by: Gerhard Wiesinger <address@hidden>
> ---
> Makefile  |    2 +-
> vgabios.c |    3 +++
> 2 files changed, 4 insertions(+), 1 deletions(-)
>
> diff --git a/Makefile b/Makefile
> index 578721a..627b758 100644
> --- a/Makefile
> +++ b/Makefile
> @@ -74,7 +74,7 @@ vgabios-qxl.debug.bin    : $(VGA_FILES) $(VBE_FILES) 
> biossums
>
> # build rule
> %.bin:
> -	$(GCC) -E -P vgabios.c $(VGABIOS_VERS) $(VGAFLAGS) $(VGABIOS_DATE) > 
> _$*_.c
> +	$(GCC) -E -P vgabios.c $(VGABIOS_VERS) $(VGAFLAGS) $(VGABIOS_DATE) 
> -DBIOS_NAME=\"$*.bin\" > _$*_.c
>         $(BCC) -o $*.s -C-c -D__i86__ -S -0 _$*_.c
>         sed -e 's/^\.text//' -e 's/^\.data//' $*.s > _$*_.s
>         $(AS86) _$*_.s -b $*.bin -u -w- -g -0 -j -O -l $*.txt
> diff --git a/vgabios.c b/vgabios.c
> index c1e312b..3b308f2 100644
> --- a/vgabios.c
> +++ b/vgabios.c
> @@ -177,6 +177,9 @@ vgabios_version:
>
> vgabios_date:
> .ascii  VGABIOS_DATE
> +.ascii  " ("
> +.ascii  BIOS_NAME
> +.ascii  ")"
> .byte   0x0a,0x0d
> .byte   0x00
>
> --
> 1.7.7.6