tree 134fa1e75458bbb45af073ae240509a41c4fefdf
parent c6d1318a2edfb9b0320ad82c8d711212c0427e43
author Kristofer Jonsson <kristofer.jonsson@arm.com> 1646054919 +0100
committer Kristofer Jonsson <kristofer.jonsson@arm.com> 1646139646 +0100

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