diff --git a/Dockerfile b/Dockerfile index dac7ff16f..cbdd664f4 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; make update; make;" +Run cd ToolAnalysis; bash -c "source Setup.sh && git checkout -- . && make update && make" ### Open terminal CMD ["/bin/bash"]