v86/bios/fetch-and-build-seabios.sh

set -e
git clone https://git.seabios.org/seabios.git || true
(cd seabios && git checkout rel-1.16.2)

cp seabios.config seabios/.config
make -C seabios
cp seabios/out/bios.bin seabios.bin
cp seabios/out/vgabios.bin vgabios.bin

cp seabios-debug.config seabios/.config
make -C seabios
cp seabios/out/bios.bin seabios-debug.bin
cp seabios/out/vgabios.bin vgabios-debug.bin
Update seabios (clean build), include bios configs and build script 2020-12-31 19:14:29 -06:00			`set -e`
			`git clone https://git.seabios.org/seabios.git \|\| true`
Update SeaBIOS to 1.16.2 (#890) 2023-08-06 23:54:51 +03:00			`(cd seabios && git checkout rel-1.16.2)`
Update seabios (clean build), include bios configs and build script 2020-12-31 19:14:29 -06:00
			`cp seabios.config seabios/.config`
			`make -C seabios`
			`cp seabios/out/bios.bin seabios.bin`
			`cp seabios/out/vgabios.bin vgabios.bin`

			`cp seabios-debug.config seabios/.config`
			`make -C seabios`
			`cp seabios/out/bios.bin seabios-debug.bin`
			`cp seabios/out/vgabios.bin vgabios-debug.bin`