From: Michael Ellerman <mpe@ellerman.id.au>
Date: Fri, 12 Jun 2015 00:26:58 +0000 (+1000)
Subject: do_build: Make sure all makes are dead on error
X-Git-Url: http://git.ozlabs.org/?a=commitdiff_plain;h=7c37b979fa8419aa537b8618478986ada8af69f0;p=next-scripts

do_build: Make sure all makes are dead on error
---

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