diff --git a/srcpkgs/base-files/files/vkpurge b/srcpkgs/base-files/files/vkpurge index f521215736e..16314a08fee 100644 --- a/srcpkgs/base-files/files/vkpurge +++ b/srcpkgs/base-files/files/vkpurge @@ -84,6 +84,16 @@ remove_kernel() if [ -d /usr/src/kernel-headers-${rmkver} ]; then rm -rf /usr/src/kernel-headers-${rmkver} fi + # Remove debugging symbols. + dfile=/usr/lib/debug/boot/vmlinux-${rmkver} + if [ -f "${dfile}" ]; then + echo "Removing ${dfile}..." + rm -f ${dfile} + fi + if [ -d /usr/lib/debug/usr/lib/modules/${rmkver} ]; then + echo "Removing /usr/lib/debug/usr/lib/modules/${rmkver}..." + rm -rf /usr/lib/debug/usr/lib/modules/${rmkver} + fi } ARCH=$(uname -m)