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

Improve Makefile #917

Merged
merged 1 commit into from
Aug 16, 2015
Merged

Improve Makefile #917

merged 1 commit into from
Aug 16, 2015

Conversation

ruflin
Copy link
Owner

@ruflin ruflin commented Aug 16, 2015

.PHONY as part of every command. This keeps the build file cleaner

@ruflin ruflin mentioned this pull request Aug 16, 2015
im-denisenko added a commit that referenced this pull request Aug 16, 2015
@im-denisenko im-denisenko merged commit 7a58247 into master Aug 16, 2015
@im-denisenko
Copy link
Contributor

Merged.

Looks quite complicated, but I guess gnu make lack better syntax for pure targets.

@im-denisenko im-denisenko deleted the makefile-improvements branch August 16, 2015 19:43
@ruflin
Copy link
Owner Author

ruflin commented Aug 16, 2015

The "shorter" version would be to leave out .PHONY for most commands where no file / folder exists, which is the case for about 95%. This is more a failure safe option.

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.

2 participants