From 4f9f3a3a0238abd9233eb738991b6c9806a3a43f Mon Sep 17 00:00:00 2001
From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>
Date: Fri, 31 May 2019 13:15:46 -0300
Subject: [PATCH] Update Dockerfile

---
 docker/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index a878f88..6a9f4f1 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -65,6 +65,8 @@ RUN git clone https://github.com/SoftSec-KAIST/Eclipser \
 
 # Install DeepState using a few different compilers for AFL/libFuzzer/Eclipser+normal
 RUN cd deepstate \
+    && rm -Rf CMakeFiles CMakeCache.txt \
+    && rm -Rf build \
     && mkdir -p build \
     && cd build \
     && rm -rf CMakeFiles CMakeCache.txt \