do_build: Make sure all makes are dead on error

diff --git a/do_build b/do_build
index ba631f4f30bf2842b20b2ed77b74b85e3decad63..6ba140659d7028ba14821aa22ed5978436f2d219 100755 (executable)
--- 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