diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/optman/rtems/no-mp.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/c/src/optman/rtems/no-mp.c b/c/src/optman/rtems/no-mp.c index 5fc8f81df6..6c23d4e923 100644 --- a/c/src/optman/rtems/no-mp.c +++ b/c/src/optman/rtems/no-mp.c @@ -156,6 +156,7 @@ Thread _MPCI_Receive_server( FALSE, RTEMS_NOT_CONFIGURED ); + return NULL; } void _MPCI_Announce ( void ) |