diff options
author | Leah Rowe <leah@libreboot.org> | 2024-05-26 12:10:27 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2024-05-26 12:10:27 +0100 |
commit | 914852dd4086f54e24b865790b72920c76f70a18 (patch) | |
tree | 9688391b23b725b7dcdf6d4675ec974f8a980562 /script | |
parent | dc7b72f3f4403b9e851b8644691521b2d53caee3 (diff) |
rename include/option.sh to include/lib.sh
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'script')
-rwxr-xr-x | script/roms | 2 | ||||
-rwxr-xr-x | script/trees | 2 |
2 files changed, 2 insertions, 2 deletions
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 \ |