diff options
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 . \ |