diff options
Diffstat (limited to '')
-rw-r--r-- | cpukit/libmisc/monitor/mon-command.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cpukit/libmisc/monitor/mon-command.c b/cpukit/libmisc/monitor/mon-command.c index 53d3ce7129..b16c8f06c0 100644 --- a/cpukit/libmisc/monitor/mon-command.c +++ b/cpukit/libmisc/monitor/mon-command.c @@ -18,6 +18,10 @@ * covered by GPL, only the RTEMS license. */ +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif + #include <string.h> #include <stdio.h> |