Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: include the prefix directory in .dockerignore #286

Merged
merged 1 commit into from
Jul 19, 2024

Conversation

maurermi
Copy link
Collaborator

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.

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>
@rockett-m
Copy link
Contributor

TACK - this worked for me running on mac and ubuntu

@HalosGhost
Copy link
Collaborator

@eolesinski I'd appreciate another macOS sign-off/review if you have the time (I don't have an easy way to give a t-ACK here).

Copy link
Contributor

@eolesinski eolesinski left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

t-ACK - this change successfully fixes the error that was occurring when running the build-docker.sh script

Tested by running build-docker.sh before this change and encountered an error. Pulled in the changes from this PR and reran the build-docker.sh and it worked.

Copy link
Collaborator

@HalosGhost HalosGhost left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved (by-proxy t-ACK from @eolesinski and @rockett-m)

@HalosGhost HalosGhost merged commit a055e7f into mit-dci:trunk Jul 19, 2024
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants