Skip to content

Rename "features" to "device_has" in targets.json #1881

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

Merged
merged 1 commit into from
Jun 9, 2016
Merged

Conversation

bogdanm
Copy link
Contributor

@bogdanm bogdanm commented Jun 8, 2016

"features" will make more sense in the context of the feature support
that we'll introduce later (related to #1878). Plus, "device_has" is
arguably a better description of the actual content of this key.

"features" will make more sense in the context of the feature support
that we'll introduce later (related to #1878). Plus, "device_has" is
arguably a better description of the actual content of this key.
@screamerbg
Copy link
Contributor

screamerbg commented Jun 8, 2016

Why not "provides"? "device_has" sounds strange.

@bogdanm
Copy link
Contributor Author

bogdanm commented Jun 8, 2016

Cc @sg-. I guess "provides" makes sense too. Your call.

@sg-
Copy link
Contributor

sg- commented Jun 8, 2016

I don't like provides as a label and using DEVICE_ in the -D. Its confusing.

device_has and -DDEVICE is a bit nicer IMO

@theotherjimmy
Copy link
Contributor

it was originally provides. :)

@0xc0170
Copy link
Contributor

0xc0170 commented Jun 9, 2016

LGTM

@0xc0170 0xc0170 merged commit bead017 into master Jun 9, 2016
ohagendorf added a commit to ohagendorf/mbed-os that referenced this pull request Jun 9, 2016
PR ARMmbed#1881 renamed option in targets.json - this commit is doing the same with the new target
@screamerbg screamerbg deleted the rename_features branch June 14, 2016 03:19
ohagendorf added a commit to ohagendorf/mbed-os that referenced this pull request Jul 1, 2016
PR ARMmbed#1881 renamed option in targets.json - this commit is doing the same with the new target
ohagendorf added a commit to ohagendorf/mbed-os that referenced this pull request Jul 1, 2016
PR ARMmbed#1881 renamed option in targets.json - this commit is doing the same with the new target
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.

5 participants