Adjusted Dockerfile to new project structure, changing to correct dir.

aca168b6 · Thomas Barabosch · e6c0eb0e · aca168b6
Commit aca168b6 authored Apr 15, 2019 by Thomas Barabosch
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

Dockerfile Dockerfile +2 -2

No files found.
--- a/Dockerfile
+++ b/Dockerfile
@@ -3,9 +3,9 @@ FROM fkiecad/cwe_checker_travis_docker_image:latest
 COPY . /home/bap/cwe_checker/

 RUN sudo chown -R bap:bap /home/bap/cwe_checker \
-    && cd /home/bap/cwe_checker/src \
+    && cd /home/bap/cwe_checker \
    && make all

-WORKDIR /home/bap/cwe_checker/src
+WORKDIR /home/bap/cwe_checker

 ENTRYPOINT ["opam", "config", "exec", "--"]