diff options
| -rw-r--r-- | projects/grub/configs/modules-install (renamed from projects/grub/configs/grub-install-modules) | 0 | ||||
| -rw-r--r-- | projects/grub/configs/modules-preload (renamed from projects/grub/configs/grub-load-modules) | 0 | ||||
| -rwxr-xr-x | projects/grub/grub | 4 |
3 files changed, 2 insertions, 2 deletions
diff --git a/projects/grub/configs/grub-install-modules b/projects/grub/configs/modules-install index 1d0d78ba..1d0d78ba 100644 --- a/projects/grub/configs/grub-install-modules +++ b/projects/grub/configs/modules-install diff --git a/projects/grub/configs/grub-load-modules b/projects/grub/configs/modules-preload index bbbac61f..bbbac61f 100644 --- a/projects/grub/configs/grub-load-modules +++ b/projects/grub/configs/modules-preload diff --git a/projects/grub/grub b/projects/grub/grub index 4a7ba1ec..547c770d 100755 --- a/projects/grub/grub +++ b/projects/grub/grub @@ -69,8 +69,8 @@ build() { local sources_path="$(project_sources_path "${project}" "${repository}" "$@")" local build_path="$(project_build_path "${project}" "$@")" - mapfile -t grub_install_modules < "${project_path}/${CONFIGS}/grub-install-modules" - mapfile -t grub_load_modules < "${project_path}/${CONFIGS}/grub-load-modules" + mapfile -t grub_install_modules < "${project_path}/${CONFIGS}/modules-install" + mapfile -t grub_load_modules < "${project_path}/${CONFIGS}/modules-preload" mkdir -p "${build_path}" |