rename include/option.sh to include/lib.sh

Signed-off-by: Leah Rowe <leah@libreboot.org>
2024-05-26 12:10:27 +01:00 · 2024-05-26 12:10:27 +01:00 · 914852dd40
parent dc7b72f3f4
commit 914852dd40
4 changed files with 3 additions and 3 deletions
--- a/2
+++ b/2
@ -12,7 +12,7 @@ if [ "./${0##*/}" != "${0}" ] || [ ! -f "build" ] || [ -L "build" ]; then
 	exit 1
 fi

-. "include/option.sh"
+. "include/lib.sh"
 . "include/vendor.sh"
 . "include/mrc.sh"

--- a/include/option.sh
+++ b/include/option.sh
--- a/script/roms
+++ b/script/roms
@ -8,7 +8,7 @@

 set -u -e

-. "include/option.sh"
+. "include/lib.sh"

 seavgabiosrom="elf/seabios/default/libgfxinit/vgabios.bin"
 grub_background="background1280x800.png"
--- a/script/trees
+++ b/script/trees
@ -6,7 +6,7 @@

 set -u -e

-. "include/option.sh"
+. "include/lib.sh"
 . "include/git.sh"

 eval "$(setvars "" xarch cfgsdir cdir config config_name xlang mode makeargs \