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.

Sign up for GitHub

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

Jump to bottom

Makefile: Use file modification checking and better use of Make featu… #28

Closed

thet wants to merge 2 commits into main from use-make-features

Member

thet commented Jul 10, 2023

…res.


          Makefile: Use file modification checking and better use of Make featu…

3e0ca67

…res.

thet marked this pull request as draft

July 10, 2023 13:13


          Merge branch 'main' into use-make-features

e2a33f4

Member Author

thet commented Feb 12, 2025

Obsolete since some of these was done here: #39
The rest, like depending on the release zip doesn't probably work out at all.

thet closed this

thet deleted the use-make-features branch

February 12, 2025 14:09

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

Labels

None yet