ada: Remove No_Dynamic_Priorities from Restricted_Tasking
28 November 2023 at 12:00
ada: Remove No_Dynamic_Priorities from Restricted_Tasking Some of our restricted runtimes support dynamic priorities. The binder needs to generate code for a restricted runtime even if the restriction No_Dynamic_Priorities is not in place. gcc/ada/ * libgnat/s-rident.ads: Remove No_Dynamic_Priorities from Restricted_Tasking.