From f2d9fda7801ba57bdac66aeeb94aa9639e48399c Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Thu, 18 Jul 2013 15:33:44 +0200
Subject: [PATCH] shell: Include missing header file

---
 cpukit/libmisc/shell/shell_script.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cpukit/libmisc/shell/shell_script.c b/cpukit/libmisc/shell/shell_script.c
index c87123b928..98d0a5b8c8 100644
--- a/cpukit/libmisc/shell/shell_script.c
+++ b/cpukit/libmisc/shell/shell_script.c
@@ -23,6 +23,7 @@
 #include <inttypes.h>
 #include <sys/types.h>
 #include <unistd.h>
+#include <limits.h>
 #define __need_getopt_newlib
 #include <getopt.h>