diff options
Diffstat (limited to 'cpukit/score/src/profilingisrentryexit.c')
| -rw-r--r-- | cpukit/score/src/profilingisrentryexit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/src/profilingisrentryexit.c b/cpukit/score/src/profilingisrentryexit.c index 98df154d72..4a0133b29a 100644 --- a/cpukit/score/src/profilingisrentryexit.c +++ b/cpukit/score/src/profilingisrentryexit.c @@ -13,7 +13,7 @@ */ #ifdef HAVE_CONFIG_H - #include "config.h" +#include "config.h" #endif #include <rtems/score/profiling.h> |