Re: [PATCH] score: Fix for RTEMS_DEBUG.

Looks good. Sorry, I forgot this on Thursday. On 29/07/16 02:29, Chris Johns wrote: --- cpukit/score/src/userextaddset.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpukit/score/src/userextaddset.c b/cpukit/score/src/userextaddset.c index 19bbd36..ea2d214 100644 --- a/cpukit/score/s

[PATCH] score: Fix for RTEMS_DEBUG.

--- cpukit/score/src/userextaddset.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpukit/score/src/userextaddset.c b/cpukit/score/src/userextaddset.c index 19bbd36..ea2d214 100644 --- a/cpukit/score/src/userextaddset.c +++ b/cpukit/score/src/userextaddset.c @@ -29,6 +29,7 @@ void _User_ex