diff options
Diffstat (limited to 'tools/driver/Platform.h')
| -rw-r--r-- | tools/driver/Platform.h | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/tools/driver/Platform.h b/tools/driver/Platform.h index e26610711aca..8995512a0f8f 100644 --- a/tools/driver/Platform.h +++ b/tools/driver/Platform.h @@ -101,15 +101,17 @@ #include <termios.h> #include <unistd.h> - #include <histedit.h> #include <pthread.h> #include <sys/time.h> - #if defined(__FreeBSD__) || defined(__NetBSD__) - #include <readline/readline.h> - #else - #include <editline/readline.h> - #endif +#if !defined(__ANDROID_NDK__) + #include <histedit.h> + #if defined(__FreeBSD__) || defined(__NetBSD__) + #include <readline/readline.h> + #else + #include <editline/readline.h> + #endif +#endif #endif |