From 1c4cc17499db6d15332a3766eed6f35661d7ee3a Mon Sep 17 00:00:00 2001
From: Michael Maurer <maurer.mi@northeastern.edu>
Date: Fri, 19 Jul 2024 13:04:21 -0400
Subject: [PATCH] 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 <maurer.mi@northeastern.edu>
---
 .dockerignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.dockerignore b/.dockerignore
index 2d71ff065..78a47623f 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -3,6 +3,7 @@ run
 plots
 .vscode
 .deps
+prefix
 
 # E2E test results
 testruns