configs 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465
  1. #!/usr/bin/env bash
  2. #
  3. # helper script: update coreboot configs (run make oldconfig)
  4. #
  5. # Copyright (C) 2021 Leah Rowe <info@minifree.org>
  6. #
  7. # This program is free software: you can redistribute it and/or modify
  8. # it under the terms of the GNU General Public License as published by
  9. # the Free Software Foundation, either version 3 of the License, or
  10. # (at your option) any later version.
  11. #
  12. # This program is distributed in the hope that it will be useful,
  13. # but WITHOUT ANY WARRANTY; without even the implied warranty of
  14. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  15. # GNU General Public License for more details.
  16. #
  17. # You should have received a copy of the GNU General Public License
  18. # along with this program. If not, see <http://www.gnu.org/licenses/>.
  19. #
  20. # This script assumes that the working directory is the root
  21. # of git or release archive
  22. [ "x${DEBUG+set}" = 'xset' ] && set -v
  23. set -u -e
  24. printf "Updating seabios configs\n"
  25. if [ ! -d "seabios" ]; then
  26. ./download seabios
  27. fi
  28. if [ ! -d "seabios" ]; then
  29. printf "error: Failed to download SeaBIOS. check internet connection?\n"
  30. exit 1
  31. fi
  32. for config in resources/seabios/config/*; do
  33. if [ ! -f "${config}" ]; then continue; fi
  34. (
  35. cd seabios
  36. make distclean
  37. )
  38. mv "${config}" seabios/.config
  39. (
  40. cd seabios
  41. make oldconfig
  42. )
  43. cp seabios/.config "${config}"
  44. (
  45. cd seabios
  46. make distclean
  47. )
  48. done
  49. printf "\n\n"