[PATCH 00/11] Generate some header files

[Chris Johns]

On 12/11/20 5:39 pm, Sebastian Huber wrote:
> On 11/11/2020 22:37, Chris Johns wrote:
> 
>> As an aside, are the links from one location in rtems-central? The link itself
>> may need to be changed and the sources regenerated.
> 
> It is defined in one place, however, present in some test files. So, you need
> "sed" to change the text:
> 
> https://git.rtems.org/rtems-central/commit/?id=dd5659abce31e0d8c29b9768a1e9806f9925ae06
> 

Sound like this is manageable. Again thanks.

Chris