diff options
Diffstat (limited to 'cpukit/rtems/src/taskmp.c')
| -rw-r--r-- | cpukit/rtems/src/taskmp.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cpukit/rtems/src/taskmp.c b/cpukit/rtems/src/taskmp.c index c1d10c0819..d1b2ff815c 100644 --- a/cpukit/rtems/src/taskmp.c +++ b/cpukit/rtems/src/taskmp.c @@ -12,6 +12,10 @@ * $Id$ */ +#if HAVE_CONFIG_H +#include "config.h" +#endif + #include <rtems/system.h> #include <rtems/rtems/status.h> #include <rtems/score/mpci.h> |