From e98770c7272afa8749afc1a8a67b387cc13ccb78 Mon Sep 17 00:00:00 2001 From: Kristofer Jonsson Date: Mon, 28 Feb 2022 14:28:39 +0100 Subject: 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 --- externals.json | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'externals.json') 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", -- cgit v1.2.1