diff --git a/docker_build.py b/docker_build.py index 6b0e70f97ffa0466b4c4df0b0006bae23c868ea3_ZG9ja2VyX2J1aWxkLnB5..2a616293f7a6a584c47066205dc5c297ce047682_ZG9ja2VyX2J1aWxkLnB5 100755 --- a/docker_build.py +++ b/docker_build.py @@ -179,6 +179,8 @@ d = json.loads(line) if 'stream' in d: logging.info(d['stream']) + if dev: + call(['rm', dockerfile]) # TODO exit if build failed # TODO docker tag with tags/bookmarks (unused so maybe no need)