diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-18 15:30:32 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:40 -0400 |
| commit | cbdf393fa0ba314493260991ddc1a163e9d2bade (patch) | |
| tree | 9656ca0e7dc20a607382c8ee6eabb4fb5bcbb48a /src/main/interactive_shell.cpp | |
| parent | 0720ea721663177c3919eb2415dccdcc018f5c73 (diff) | |
Fix for mac readline.
Diffstat (limited to 'src/main/interactive_shell.cpp')
| -rw-r--r-- | src/main/interactive_shell.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp index a19e23725..7d3742cf4 100644 --- a/src/main/interactive_shell.cpp +++ b/src/main/interactive_shell.cpp @@ -43,7 +43,9 @@ #if HAVE_LIBREADLINE # include <readline/readline.h> # include <readline/history.h> -# include <ext/stdio_filebuf.h> +# if HAVE_EXT_STDIO_FILEBUF_H +# include <ext/stdio_filebuf.h> +# endif /* HAVE_EXT_STDIO_FILEBUF_H */ #endif /* HAVE_LIBREADLINE */ using namespace std; @@ -57,7 +59,9 @@ const string InteractiveShell::INPUT_FILENAME = "<shell>"; #if HAVE_LIBREADLINE +#if HAVE_EXT_STDIO_FILEBUF_H using __gnu_cxx::stdio_filebuf; +#endif /* HAVE_EXT_STDIO_FILEBUF_H */ char** commandCompletion(const char* text, int start, int end); char* commandGenerator(const char* text, int state); |