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

./lint --help does not show help #5597

Closed
smfr opened this issue Apr 18, 2017 · 2 comments
Closed

./lint --help does not show help #5597

smfr opened this issue Apr 18, 2017 · 2 comments
Labels
infra

Comments

@smfr
Copy link
Contributor

smfr commented Apr 18, 2017

I would expect ./lint --help to show some options and quit. Instead, it just runs the tool.
@annevk annevk added the infra label Apr 18, 2017
@gsnedders
Copy link
Member

It should. This was broken temporarily, but then fixed in #5542.

@gsnedders gsnedders mentioned this issue Apr 18, 2017
Closed
@smfr
Copy link
Contributor Author

smfr commented Apr 19, 2017

Confirmed that it works on top of tree. One niggle: "paths" is vague and doesn't differentiate directories (that don't work) and files (that do).

@smfr smfr closed this as completed Apr 19, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
infra
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@smfr @gsnedders @annevk