diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/shell.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/shell.c b/src/shell.c index 1428a45f0..c6d7fa3d5 100644 --- a/src/shell.c +++ b/src/shell.c @@ -90,7 +90,8 @@ static int enableTimer = 0; #define IsDigit(X) isdigit((unsigned char)X) #define ToLower(X) (char)tolower((unsigned char)X) -#if !defined(_WIN32) && !defined(WIN32) && !defined(_WRS_KERNEL) +#if !defined(_WIN32) && !defined(WIN32) && !defined(_WRS_KERNEL) \ + && !defined(__minux) #include <sys/time.h> #include <sys/resource.h> |