From a594ff8ba5548ff7380dc049d17169aaa9393aec Mon Sep 17 00:00:00 2001 From: Wataru Ishida Date: Tue, 24 Jul 2018 17:42:05 -0700 Subject: [PATCH] add --rm option to docker builder Signed-off-by: Wataru Ishida --- docker/tools/onlbuilder | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/tools/onlbuilder b/docker/tools/onlbuilder index a202eaf0..a32e1729 100755 --- a/docker/tools/onlbuilder +++ b/docker/tools/onlbuilder @@ -171,7 +171,7 @@ else: g_arg_d['volume_options'] = " ".join( [ " -v %s:%s " % (v, v) for v in ops.volumes ] ) - g_docker_arguments = "docker run --privileged %(interactive)s -t -e DOCKER_IMAGE=%(image)s --name %(name)s %(ssh_options)s %(volume_options)s " % g_arg_d + g_docker_arguments = "docker run --rm --privileged %(interactive)s -t -e DOCKER_IMAGE=%(image)s --name %(name)s %(ssh_options)s %(volume_options)s " % g_arg_d if ops.isolate is not None: if len(ops.isolate) is 0: