diff options
| author |  Vincent Rischmann | 2021-03-13 22:30:18 +0100 |
|---|---|---|
| committer | Vincent Rischmann | 2021-03-13 22:30:18 +0100 |
| commit | 79d9d063a3a65a764d2c4dcc44ed6d05189a13a2 (patch) | |
| tree | 2a9188c2daac807d704fa9caa0c830b6270889b2 /tools/Dockerfile.debian | |
| parent | Merge branch 'github-ci-bundled' (diff) | |
| download | zig-sqlite-79d9d063a3a65a764d2c4dcc44ed6d05189a13a2.tar.gz zig-sqlite-79d9d063a3a65a764d2c4dcc44ed6d05189a13a2.tar.xz zig-sqlite-79d9d063a3a65a764d2c4dcc44ed6d05189a13a2.zip | |
tools: copy the c directory before since it basically never changes
Diffstat (limited to 'tools/Dockerfile.debian')
| -rw-r--r-- | tools/Dockerfile.debian | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Dockerfile.debian b/tools/Dockerfile.debian index 327dac0..76099d0 100644 --- a/tools/Dockerfile.debian +++ b/tools/Dockerfile.debian | |||
| @@ -12,7 +12,7 @@ RUN mv /zig/zig-linux-* /zig/zig-master | |||
| 12 | 12 | ||
| 13 | WORKDIR /work | 13 | WORKDIR /work |
| 14 | 14 | ||
| 15 | COPY *.zig . | ||
| 16 | COPY c c | 15 | COPY c c |
| 16 | COPY *.zig . | ||
| 17 | 17 | ||
| 18 | ENTRYPOINT ["/bin/bash"] | 18 | ENTRYPOINT ["/bin/bash"] |