Skip to content

Merge duplicate keys in JSON. #8515

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
Oct 24, 2018
Merged

Conversation

theotherjimmy
Copy link
Contributor

Description

I would love to make this an error, but we have had a duplicate key in
targets.json for a while now. Instead, we're merging in a semi-smart way.
This will allow you to have things like "target.features_add" twice, and
both will take affect.

Pull request type

[x] Fix
[ ] Refactor
[ ] Target update
[ ] Functionality change
[ ] Docs update
[ ] Test update
[ ] Breaking change

### Description

I would love to make this an error, but we have had a duplicate key in
`targets.json` for a while now. Instead, we're merging in a semi-smart way.
This will allow you to have things like `"target.features_add"` twice, and
both will take affect.

### Pull request type

    [x] Fix
    [ ] Refactor
    [ ] Target update
    [ ] Functionality change
    [ ] Docs update
    [ ] Test update
    [ ] Breaking change
@cmonr
Copy link
Contributor

cmonr commented Oct 23, 2018

/morph build

@mbed-ci
Copy link

mbed-ci commented Oct 23, 2018

Build : SUCCESS

Build number : 3444
Build artifacts/logs : http://mbed-os.s3-website-eu-west-1.amazonaws.com/?prefix=builds/8515/

Triggering tests

/morph test
/morph export-build
/morph mbed2-build

@mbed-ci
Copy link

mbed-ci commented Oct 23, 2018

@mbed-ci
Copy link

mbed-ci commented Oct 23, 2018

@cmonr
Copy link
Contributor

cmonr commented Oct 23, 2018

Job config fixed.
/morph test

@mbed-ci
Copy link

mbed-ci commented Oct 23, 2018

@0xc0170
Copy link
Contributor

0xc0170 commented Oct 24, 2018

I would love to make this an error, but we have had a duplicate key in
targets.json for a while now. Instead, we're merging in a semi-smart way.

logging warning at least so we start cleaning them up?

@0xc0170 0xc0170 merged commit 2fd95b0 into ARMmbed:master Oct 24, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants