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

Reply via email to