Filename is now displayed at VGA splash screen to see which BIOS on different VGAs will be used.
Signed-off-by: Gerhard Wiesinger <[email protected]> --- 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
