1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- #!/bin/bash
- [ "x${DEBUG+set}" = 'xset' ] && set -v
- set -u -e
- printf "Building SeaBIOS\n"
- cd seabios/
- cp ../resources/seabios/config/config .config
- [[ -f Makefile ]] && make clean
- make
- mv "out/bios.bin.elf" ../
- printf "\n\n"
- rm -f .config
- make distclean
- cp ../resources/seabios/config/config_vga .config
- make
- rm -f .config
- mv out/bios.bin.elf out/bios.bin.vga.elf
- mv ../bios.bin.elf out/
- cd ../
|