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

Pedantic improvements to Makefile #215

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

dmcardle
Copy link
Contributor

@dmcardle dmcardle commented Jan 9, 2025

The highlights:

  • Make can now skip unnecessary work when our targets are already up to date.
  • The remote-build recipe now delegates failure detection to curl and preserves its exit status.
  • The clean target is no longer picky about whether files exist.
  • Generated files are now listed in .gitignore.

@pythagoraskitty and @xyaoinum, PTAL!

* Make can now skip unnecessary work when our targets are already up to
  date. Targets that do not correspond to files are now marked phony.

* The remote-build recipe now delegates failure detection to curl. It
  also passes through curl's exit status instead of hardcoding one.

* The `clean` target is no longer picky about whether files exist.
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.

1 participant