diff options
author | Kristofer Jonsson <kristofer.jonsson@arm.com> | 2022-02-28 14:28:39 +0100 |
---|---|---|
committer | Kristofer Jonsson <kristofer.jonsson@arm.com> | 2022-03-01 14:00:46 +0100 |
commit | e98770c7272afa8749afc1a8a67b387cc13ccb78 (patch) | |
tree | 134fa1e75458bbb45af073ae240509a41c4fefdf /22.02.json | |
parent | c6d1318a2edfb9b0320ad82c8d711212c0427e43 (diff) | |
download | ethos-u-e98770c7272afa8749afc1a8a67b387cc13ccb78.tar.gz |
Add name field to external configuration
The fetch_externals.py script does not detect if the 'fetchurl' field
changes in the 'externals.json' file. To handle this an external
repo can be assigeded a 'name' field, which allows the remote to be
updated.
Change-Id: I175f7811929baafad84e0c46c7cdd273b91549b1
Diffstat (limited to '22.02.json')
0 files changed, 0 insertions, 0 deletions