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

Remove unrequired and unused Makefile targets #2440

Closed
3 tasks
chatton opened this issue Sep 29, 2022 · 0 comments · Fixed by #2549
Closed
3 tasks

Remove unrequired and unused Makefile targets #2440

chatton opened this issue Sep 29, 2022 · 0 comments · Fixed by #2549
Labels
type: code hygiene Clean up code but without changing functionality or interfaces

Comments

@chatton
Copy link
Contributor

chatton commented Sep 29, 2022

Summary

Remove all non-required targets from Makefile

We currently have several make targets that may not be required or we do not use.

A few examples:

Related to #1943 and #8


For Admin Use

  • Not duplicate issue
  • Appropriate labels applied
  • Appropriate contributors tagged/assigned
@chatton chatton added the type: code hygiene Clean up code but without changing functionality or interfaces label Sep 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: code hygiene Clean up code but without changing functionality or interfaces
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant