diff options
| -rwxr-xr-x | extra/grub/build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extra/grub/build b/extra/grub/build index 10513bf0..6a8013e4 100755 --- a/extra/grub/build +++ b/extra/grub/build @@ -41,7 +41,7 @@ build_grub --with-platform=pc build_grub --with-platform=efi --disable-efiemu # Install /etc/default/grub (used by grub-mkconfig). -install -Dm0644 grub.default "$1/etc/default/grub" +clinst -Dm644 grub.default "$1/etc/default/grub" # Remove gdb debugging files. ( |