kiss-community/repo
2
0
Fork 1
mirror of https://codeberg.org/kiss-community/repo synced 2024-12-22 07:10:16 -07:00
Code Issues Wiki

grub: Remove gdb files.

Browse Source
This commit is contained in:
Dylan Araps 2019-06-19 14:22:35 +03:00
parent c01321864f
commit 398d072832
2 changed files with 10 additions and 531 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
core/grub/build
View File

@ -24,3 +24,13 @@ build_grub() (
build_grub --with-platform=pc
build_grub --with-platform=efi --disable-efiemu
# Remove gdb debugging files.
(
cd "$pkg_dir"
rm -f usr/lib/grub/*/*.module
rm -f usr/lib/grub/*/*.image
rm -f usr/lib/grub/*/kernel.exec
rm -f usr/lib/grub/*/gdb_grub
rm -f usr/lib/grub/*/gmodule.pl
) ||:

531
core/grub/manifest
View File

File diff suppressed because it is too large Load Diff