1234567891011121314151617181920212223242526272829303132333435363738394041424344 |
- #!/bin/bash
- [ "x${DEBUG+set}" = 'xset' ] && set -v
- set -u -e
- (
- cd seabios/
- for cfgtype in config config_vga; do
- printf "doing config %s\n" "${cfgtype}"
- sleep 2
- if [ -f ../resources/seabios/config/${cfgtype} ]; then
- cp ../resources/seabios/config/${cfgtype} .config
- make oldconfig
- mv .config ../resources/seabios/config/${cfgtype}
- fi
- done
- )
|