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

Rename: make all->extra & minimal->all #28

Open
joeflack4 opened this issue May 23, 2024 · 1 comment
Open

Rename: make all->extra & minimal->all #28

joeflack4 opened this issue May 23, 2024 · 1 comment
Assignees

Comments

@joeflack4
Copy link
Contributor

Overview

Our build does make minimal. However this is confusing. The convention is make all. So let's change the names of these builds so that our build runs off of a goal named all.

Background info

What is currently make all is Chris's old pipeline. There were some issues w/ that, and I fixed a lot of them, but there were still issues, and we don't need those output files, so we instead made a goal make minimal which gives us a smaller set of files reduced to only what we need.

@joeflack4
Copy link
Contributor Author

joeflack4 commented May 29, 2024

Just upped priority from low to high since this change should take 5 minutes or less, and could prevent me from accidentally wasting more time in the future.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant