-
Notifications
You must be signed in to change notification settings - Fork 333
We only need one rule for make clean
.
#2639
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
Conversation
fisx
commented
Aug 22, 2022
- simplify and consolidate make rule names
- drop hint in case of compiler error
feel free to merge it this is green from ci and reviewer! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Now, it looks good to me 👍
Thanks for taking the effort to clean this up.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is not a good idea, this will delete all the cache in CI and CI will take more than an hour to compile things.
Also, |
- avoids global changes for `make clean`. - keeps `make clean` intact for what the ci expects.
Thanks @pcapriotti @akshaymankar! Is this better? Or would |
@fisx |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
make 🧹