Update Dockerfile

2019-05-31 13:15:46 -03:00
parent e1d48858a3
commit 4f9f3a3a02
1 changed files with 2 additions and 0 deletions
--- 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 \