1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465 |
- #!/usr/bin/env bash
- #
- # helper script: update coreboot configs (run make oldconfig)
- #
- # Copyright (C) 2021 Leah Rowe <info@minifree.org>
- #
- # This program is free software: you can redistribute it and/or modify
- # it under the terms of the GNU General Public License as published by
- # the Free Software Foundation, either version 3 of the License, or
- # (at your option) any later version.
- #
- # This program is distributed in the hope that it will be useful,
- # but WITHOUT ANY WARRANTY; without even the implied warranty of
- # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- # GNU General Public License for more details.
- #
- # You should have received a copy of the GNU General Public License
- # along with this program. If not, see <http://www.gnu.org/licenses/>.
- #
- # This script assumes that the working directory is the root
- # of git or release archive
- [ "x${DEBUG+set}" = 'xset' ] && set -v
- set -u -e
- printf "Updating seabios configs\n"
- if [ ! -d "seabios" ]; then
- ./download seabios
- fi
- if [ ! -d "seabios" ]; then
- printf "error: Failed to download SeaBIOS. check internet connection?\n"
- exit 1
- fi
- for config in resources/seabios/config/*; do
- if [ ! -f "${config}" ]; then continue; fi
- (
- cd seabios
- make distclean
- )
- mv "${config}" seabios/.config
- (
- cd seabios
- make oldconfig
- )
- cp seabios/.config "${config}"
- (
- cd seabios
- make distclean
- )
- done
- printf "\n\n"
|