# HG changeset patch
# User Vincent Hatakeyama <vincent.hatakeyama@xcg-consulting.fr>
# Date 1523007796 -7200
#      Fri Apr 06 11:43:16 2018 +0200
# Node ID 2a616293f7a6a584c47066205dc5c297ce047682
# Parent  6b0e70f97ffa0466b4c4df0b0006bae23c868ea3
remove temporary dockerfile

diff --git a/docker_build.py b/docker_build.py
--- 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)