Merge pull request #200 from trailofbits/fix-docker-cmake

Fix Cmake-related Docker issues
2019-05-31 09:44:36 -07:00
parent e1d48858a3 4f9f3a3a02
commit 19ac5f3376
1 changed files with 2 additions and 0 deletions
@@ -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 \