Skip to content

Comments

Warn against unknown targets#26

Open
rnjtranjan wants to merge 2 commits intomasterfrom
Warn_Unknown_Targents
Open

Warn against unknown targets#26
rnjtranjan wants to merge 2 commits intomasterfrom
Warn_Unknown_Targents

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants