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

Signed-off-by: Leah Rowe <leah@libreboot.org>

4 files changed, 3 insertions, 3 deletions

diff --git a/build b/build
index 5ae62b23..2877a8fb 100755
--- a/build
+++ b/build
@@ -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"
 
diff --git a/include/option.sh b/include/lib.sh
index eff55511..eff55511 100755
--- a/include/option.sh
+++ b/include/lib.sh
diff --git a/script/roms b/script/roms
index e3f3853c..3ca0de20 100755
--- 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"
diff --git a/script/trees b/script/trees
index 1c2a3843..6eeac8f1 100755
--- 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 \