From 7c37b979fa8419aa537b8618478986ada8af69f0 Mon Sep 17 00:00:00 2001
From: Michael Ellerman <mpe@ellerman.id.au>
Date: Fri, 12 Jun 2015 10:26:58 +1000
Subject: [PATCH] do_build: Make sure all makes are dead on error

---
 do_build | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/do_build b/do_build
index ba631f4..6ba1406 100755
--- a/do_build
+++ b/do_build
@@ -51,6 +51,7 @@ ssh root@"$build_host" unshare -n su $(id -u -n) <<-EOF
 		echo "ERROR: ARM build failed"
 		kill %1
 		kill %2
+		killall make
 		rm .scmversion
 		exit 1
 	else
@@ -64,6 +65,7 @@ ssh root@"$build_host" unshare -n su $(id -u -n) <<-EOF
 	if [ \$rc -ne 0 ]; then
 		echo "ERROR: powerpc build failed"
 		kill %1
+		killall make
 		rm .scmversion
 		exit 1
 	else
-- 
2.39.2