On 5/11/2022 4:00 am, Gedare Bloom wrote:
Given the complexity of this tagging, I'm going to start with just the true/false approach to categorize third-party sources. We can do something like the above in the future.
Sounds good. We can consider a dict when someone maps out how to manage 3rd party source. I think it would premature to do it without further consideration.
Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
