From a9807a717c2098098ebed05633cf92818417aaca Mon Sep 17 00:00:00 2001
From: Christian Neukirchen <chneukirchen@gmail.com>
Date: Sat, 14 Mar 2015 17:00:02 +0100
Subject: [PATCH] base-files: vkpurge: remove debugging symbols too.

---
 srcpkgs/base-files/files/vkpurge | 10 ++++++++++
 1 file changed, 10 insertions(+)

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)