From 52b59df73c275c1574ab67c42493d4161d5acab4 Mon Sep 17 00:00:00 2001 From: Dylan Araps Date: Wed, 19 Jun 2019 16:22:31 +0300 Subject: [PATCH] grub: strip binaries --- core/grub/manifest | 1 - core/grub/nostrip | 0 2 files changed, 1 deletion(-) delete mode 100644 core/grub/nostrip diff --git a/core/grub/manifest b/core/grub/manifest index c95d95eb..23fae2ae 100644 --- a/core/grub/manifest +++ b/core/grub/manifest @@ -2,7 +2,6 @@ /var/db/kiss/grub/sources /var/db/kiss/grub/patches/0008-Fix-packed-not-aligned-error-on-GCC-8.patch /var/db/kiss/grub/patches/ -/var/db/kiss/grub/nostrip /var/db/kiss/grub/manifest /var/db/kiss/grub/depends /var/db/kiss/grub/checksums diff --git a/core/grub/nostrip b/core/grub/nostrip deleted file mode 100644 index e69de29b..00000000