From 1a1343b446b5b2dd5e2e3a2217abfad146f5127e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= <hertzog@debian.org>
Date: Tue, 7 Jul 2015 12:02:02 +0200
Subject: [PATCH] Kill update-kali-menu to improve behaviour in case of failed
 builds

---
 build.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build.sh b/build.sh
index 0659dfd..4b3f50d 100755
--- a/build.sh
+++ b/build.sh
@@ -61,6 +61,9 @@ default_version() {
 }
 
 failure() {
+	# Cleanup update-kali-menu that might stay around so that the
+	# build chroot can be properly unmounted
+	$SUDO pkill -f update-kali-menu || true
 	echo "Build of $KALI_DIST/$KALI_ARCH live image failed (see build.log for details)" >&2
 	exit 2
 }