diff options
Diffstat (limited to 'cpukit/score/src/coresemflush.c')
-rw-r--r-- | cpukit/score/src/coresemflush.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cpukit/score/src/coresemflush.c b/cpukit/score/src/coresemflush.c index ce2a62d85d..14d10039d2 100644 --- a/cpukit/score/src/coresemflush.c +++ b/cpukit/score/src/coresemflush.c @@ -17,6 +17,10 @@ * $Id$ */ +#if HAVE_CONFIG_H +#include "config.h" +#endif + #include <rtems/system.h> #include <rtems/score/isr.h> #include <rtems/score/coresem.h> |