diff options
author | Rasmus Andersson <rasmus@notion.se> | 2019-10-23 03:35:33 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2019-10-23 03:35:33 +0300 |
commit | 44dafda25065da2b493ab479fc1220625a9288be (patch) | |
tree | b7e095952b158e8c025371f60f5b34a109c0f1b4 /misc/docker/Dockerfile | |
parent | 88f43ccdc324164573dd9a1de1c61b990861825e (diff) | |
download | inter-44dafda25065da2b493ab479fc1220625a9288be.tar.xz |
Update docker image
Diffstat (limited to 'misc/docker/Dockerfile')
-rw-r--r-- | misc/docker/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/docker/Dockerfile b/misc/docker/Dockerfile index 34ffed119..2b607bcc9 100644 --- a/misc/docker/Dockerfile +++ b/misc/docker/Dockerfile @@ -12,6 +12,7 @@ COPY . /inter/ RUN rm Dockerfile RUN ln -s /host/src src \ + && ln -s /host/misc misc \ && ln -s /host/version.txt . \ && ln -s /host/githash.txt . \ && ln -s /host/Makefile . \ |