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 /externals.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 'externals.json')
| -rw-r--r-- | externals.json | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/externals.json b/externals.json index 67adc9a..ad9e62c 100644 --- a/externals.json +++ b/externals.json @@ -41,8 +41,9 @@ }, { "path": "core_software/rtos/threadx", - "fetchurl": "https://github.com/azure-rtos/threadx", - "revision": "master" + "name": "linaro", + "fetchurl": "https://github.com/Linaro/threadx", + "revision": "mps3_an547" }, { "path": "core_software/tflite_micro", |