fix: include the prefix directory in .dockerignore

Noticed on macOS that ./scripts/build-docker.sh was failing. Our Dockerfile runs ./scripts/setup-dependencies.sh in the container before running `COPY . .`, which if prefix/ is not ignored, will copy in the libraries built on the host. Signed-off-by: Michael Maurer <[email protected]>
mit-dci · Jul 19, 2024 · a055e7f · a055e7f
1 parent 0f7014f
commit a055e7f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -3,6 +3,7 @@ run
 plots
 .vscode
 .deps
+prefix
 
 # E2E test results
 testruns