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

Mark all phony Makefile targets as .PHONY #170

Closed
wants to merge 1 commit into from

Conversation

tiran
Copy link
Member

@tiran tiran commented Oct 18, 2016

https://www.gnu.org/software/make/manual/make.html#Phony-Targets

A phony target is one that is not really the name of a file; rather it
is just a name for a recipe to be executed when you make an explicit
request. There are two reasons to use a phony target: to avoid a
conflict with a file of the same name, and to improve performance.

Signed-off-by: Christian Heimes cheimes@redhat.com

https://www.gnu.org/software/make/manual/make.html#Phony-Targets

A phony target is one that is not really the name of a file; rather it
is just a name for a recipe to be executed when you make an explicit
request. There are two reasons to use a phony target: to avoid a
conflict with a file of the same name, and to improve performance.

Signed-off-by: Christian Heimes <cheimes@redhat.com>
@pspacek
Copy link
Contributor

pspacek commented Oct 18, 2016

Hand-made Makefile is completely going away and will be auto-generated, so we do not need to spend more time on this version.

@pspacek pspacek closed this Oct 18, 2016
@pspacek pspacek added the rejected Pull Request has been rejected label Oct 18, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rejected Pull Request has been rejected
Projects
None yet
2 participants