diff options
-rwxr-xr-x | build | 2 | ||||
-rwxr-xr-x | include/lib.sh (renamed from include/option.sh) | 0 | ||||
-rwxr-xr-x | script/roms | 2 | ||||
-rwxr-xr-x | script/trees | 2 |
4 files changed, 3 insertions, 3 deletions
@@ -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 \ |