diff --git a/Dockerfile b/Dockerfile index cbdd664f4..c52b7a82b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,7 +6,7 @@ FROM anniesoft/toolanalysis:base ### Run the following commands as super user (root): USER root -Run cd ToolAnalysis; bash -c "source Setup.sh && git checkout -- . && make update && make" +Run cd ToolAnalysis; bash -c "source Setup.sh && git checkout -- . && make update && make clean && make && make" ### Open terminal CMD ["/bin/bash"]