From d147c5d915fa35a0612b5b74be90fa9d1a9e7f2a Mon Sep 17 00:00:00 2001
From: Leah Rowe <leah@libreboot.org>
Date: Sun, 26 May 2024 12:10:27 +0100
Subject: [PATCH] rename include/option.sh to include/lib.sh

Signed-off-by: Leah Rowe <leah@libreboot.org>
---
 build                         | 2 +-
 include/{option.sh => lib.sh} | 0
 script/roms                   | 2 +-
 script/trees                  | 2 +-
 4 files changed, 3 insertions(+), 3 deletions(-)
 rename include/{option.sh => lib.sh} (100%)

diff --git a/build b/build
index 89b42cf..940e81c 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"
 
 eval "$(setvars "" aur_notice vdir src_dirname srcdir _xm mode xp)"
 err="fail"
diff --git a/include/option.sh b/include/lib.sh
similarity index 100%
rename from include/option.sh
rename to include/lib.sh
diff --git a/script/roms b/script/roms
index e0d63f8..623a3c5 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 96326f1..2438f99 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 \