diff options
| author | Joshua M. Boniface <joshua@boniface.me> | 2020-03-23 15:44:23 -0400 |
|---|---|---|
| committer | Joshua M. Boniface <joshua@boniface.me> | 2020-03-23 15:46:08 -0400 |
| commit | 8b1a76a32e5c2d8677fc6bba62682cfc1af748e6 (patch) | |
| tree | 4ae1e7911fd84a091a0da2cca60f245ec5a71f91 /deployment/Dockerfile.ubuntu.amd64 | |
| parent | 3e7a106a95a183ba4c7d1bf00d87e149463f0e23 (diff) | |
Mount the source volume rather than copy it
Now that the build script cleans up both before and after building, this
is a viable option and will significant reduce build times by promoting
container reuse (with `-k`).
Diffstat (limited to 'deployment/Dockerfile.ubuntu.amd64')
| -rw-r--r-- | deployment/Dockerfile.ubuntu.amd64 | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/deployment/Dockerfile.ubuntu.amd64 b/deployment/Dockerfile.ubuntu.amd64 index e1b0c3975d..e61be4efcc 100644 --- a/deployment/Dockerfile.ubuntu.amd64 +++ b/deployment/Dockerfile.ubuntu.amd64 @@ -24,11 +24,8 @@ RUN wget https://download.visualstudio.microsoft.com/download/pr/d731f991-8e68-4 # Link to build script RUN ln -sf ${SOURCE_DIR}/deployment/build.ubuntu.amd64 /build.sh -# Create the source dir -RUN mkdir -p ${SOURCE_DIR} +VOLUME ${SOURCE_DIR}/ VOLUME ${ARTIFACT_DIR}/ -COPY . ${SOURCE_DIR}/ - ENTRYPOINT ["/build.sh"] |