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

Fix phony targets in Makefile #1055

Merged
merged 1 commit into from
May 25, 2023
Merged

Fix phony targets in Makefile #1055

merged 1 commit into from
May 25, 2023

Conversation

praseodym
Copy link
Contributor

Changes

Only goals that were passed to Make were considered phony, meaning that make build would not do anything when a file or directory named build existed.

More information on phony targets:
https://www.gnu.org/software/make/manual/html_node/Phony-Targets.html

Issue link

n/a, @Darwinkel was hitting this issue today

Proof

n/a


Code Checklist

  • All the commits in this PR are properly PGP-signed and verified;
  • This PR only contains functionality relevant to the issue; tickets have been created for newly discovered issues.
  • I have written unit tests for the changes or fixes I made.
  • For any non-trivial functionality, I have added integration and/or end-to-end tests.
  • I have performed a self-review of my code and refactored it to the best of my abilities.

Communication

  • I have informed others of any required .env changes files if required and changed the .env-dist accordingly.
  • I have made corresponding changes to the documentation, if necessary.

Checklist for code reviewers:

Copy-paste the checklist from the docs/source/templates folder into your comment.


Checklist for QA:

Copy-paste the checklist from the docs/source/templates folder into your comment.

Only goals that were passed to Make were considered phony, meaning that
`make build` would not do anything when a file or directory named
`build` existed.

More information on phony targets:
https://www.gnu.org/software/make/manual/html_node/Phony-Targets.html
@praseodym praseodym requested a review from a team as a code owner May 25, 2023 13:33
@dekkers dekkers merged commit 332d115 into main May 25, 2023
@dekkers dekkers deleted the fix/makefile-phony-targets branch May 25, 2023 13:38
jpbruinsslot added a commit that referenced this pull request May 30, 2023
* main:
  Bump sphinx-rtd-theme from 1.2.0 to 1.2.1 (#1062)
  Clients can start scans on objects without changing clearance (#945)
  Add date, name and status filters (#572)
  Fix clearance level views (#1035)
  Add 1.9 release notes (#1029)
  Fix scheduler ranking (#988)
  Fix phony targets in Makefile (#1055)
  Bump mmh3 from 3.0.0 to 4.0.0 (#1005)
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