chore: add tools to dockerfile

penumbra-zone · Oct 5, 2023 · 0fecbe7 · 0fecbe7
1 parent 83b6137
commit 0fecbe7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/deployments/containerfiles/Dockerfile b/deployments/containerfiles/Dockerfile
@@ -14,6 +14,7 @@ WORKDIR /usr/src/penumbra
 # Add rust dependency lockfiles first, to cache downloads.
 COPY Cargo.lock Cargo.toml .
 COPY crates ./crates
+COPY tools/ ./tools
 RUN cargo fetch
 # Unfortunately, container layer cache is busted copying in the .git
 # dir, which is required for using vergen, so we rebuild the rust