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.

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

Warn against unknown targets #26

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

Warn against unknown targets #26

wants to merge 2 commits into from

Conversation

rnjtranjan
Copy link
Contributor

No description provided.

@rnjtranjan
Copy link
Contributor Author

Fixes:#24

@adithyaov adithyaov force-pushed the Warn_Unknown_Targents branch 2 times, most recently from 0947eb1 to edf4241 Compare August 12, 2022 21:05
@adithyaov adithyaov force-pushed the Warn_Unknown_Targents branch from edf4241 to cee357f Compare August 12, 2022 21:24
@adithyaov
Copy link
Member

As discussed, there should be a simpler way of fixing this. That is, just read the targets that exist and only run them.

@adithyaov adithyaov closed this Sep 23, 2022
@adithyaov adithyaov reopened this Sep 23, 2022
@harendra-kumar
Copy link
Member

We are ignoring all build errors, so this will mask off any other genuine build errors as well.

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

@adithyaov adithyaov Awaiting requested review from adithyaov

@harendra-kumar harendra-kumar Awaiting requested review from harendra-kumar

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@rnjtranjan @adithyaov @harendra-kumar