diff --git a/c/src/exec/rtems/optman/no-mp.c b/c/src/exec/rtems/optman/no-mp.c
index 5fc8f81df6..6c23d4e923 100644
--- a/c/src/exec/rtems/optman/no-mp.c
+++ b/c/src/exec/rtems/optman/no-mp.c
@@ -156,6 +156,7 @@ Thread _MPCI_Receive_server(
     FALSE,
     RTEMS_NOT_CONFIGURED
   );
+  return NULL;
 }
 
 void _MPCI_Announce ( void )