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

Add --include-features (and add --exclude-features as alias of --skip) #52

Closed
4 tasks done
taiki-e opened this issue Sep 22, 2020 · 0 comments · Fixed by #66
Closed
4 tasks done

Add --include-features (and add --exclude-features as alias of --skip) #52

taiki-e opened this issue Sep 22, 2020 · 0 comments · Fixed by #66
Assignees
Labels
A-features Area: features (--feature-powerset, --each-feature, etc.) C-enhancement Category: A new feature or an improvement for an existing one
Milestone

Comments

@taiki-e
Copy link
Owner

taiki-e commented Sep 22, 2020

@taiki-e taiki-e added the C-enhancement Category: A new feature or an improvement for an existing one label Sep 22, 2020
@taiki-e taiki-e added the A-features Area: features (--feature-powerset, --each-feature, etc.) label Oct 10, 2020
@taiki-e taiki-e self-assigned this Oct 17, 2020
@taiki-e taiki-e added this to the v0.4 milestone Oct 17, 2020
bors bot added a commit that referenced this issue Oct 17, 2020
65: Add --exclude-features as an alias of --skip r=taiki-e a=taiki-e

* Add `--exclude-features` option. This is an alias of `--skip` option.
* Rename `--skip-no-default-features` flag to `--exclude-no-default-features`.
  The old name can be used as an alias, but is deprecated.
* Rename `--skip-all-features` flag to `--exclude-all-features`.

cc #52 

Co-authored-by: Taiki Endo <te316e89@gmail.com>
@bors bors bot closed this as completed in aebeb41 Oct 17, 2020
@bors bors bot closed this as completed in #66 Oct 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-features Area: features (--feature-powerset, --each-feature, etc.) C-enhancement Category: A new feature or an improvement for an existing one
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant