From 5bf72e0ad9109aa7f3b8ae0d387110f219f206c4 Mon Sep 17 00:00:00 2001 From: Eric Vallee Date: Sun, 18 Feb 2018 23:49:12 -0500 Subject: [PATCH 1/2] Cleanup of docker resources after the build is done --- build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build.sh b/build.sh index 52aa82b..23e18e9 100755 --- a/build.sh +++ b/build.sh @@ -4,3 +4,4 @@ set -e export DEFCONFIG=docker_rpi3_defconfig docker-compose build docker-compose run builder +docker-compose down From 9b4f539d9179149ab0a6e799c3b361fb07671d08 Mon Sep 17 00:00:00 2001 From: Eric Vallee Date: Sun, 18 Feb 2018 23:50:14 -0500 Subject: [PATCH 2/2] Added parent-directory independent namespacing of docker resources for build --- build.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build.sh b/build.sh index 23e18e9..0abd11e 100755 --- a/build.sh +++ b/build.sh @@ -2,6 +2,6 @@ set -e export DEFCONFIG=docker_rpi3_defconfig -docker-compose build -docker-compose run builder -docker-compose down +docker-compose -p rpikernelbuild build +docker-compose -p rpikernelbuild run builder +docker-compose -p rpikernelbuild down