diff options
author | 2016-10-09 10:42:04 -0400 | |
---|---|---|
committer | 2016-10-09 10:42:04 -0400 | |
commit | 327304ddb8a31b474d9bb657206721f0781f4764 (patch) | |
tree | 5c8c3287719f2f0662a39176dccb8911f371a752 | |
parent | 3c4c4e08ed7280e7bc4de39c77f19e48d39743f9 (diff) |
Fix Clang build (nw)
-rw-r--r-- | 3rdparty/linenoise-ng/src/linenoise.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/3rdparty/linenoise-ng/src/linenoise.cpp b/3rdparty/linenoise-ng/src/linenoise.cpp index 751c535d084..38ef90bd63b 100644 --- a/3rdparty/linenoise-ng/src/linenoise.cpp +++ b/3rdparty/linenoise-ng/src/linenoise.cpp @@ -2296,7 +2296,7 @@ int InputBuffer::incrementalHistorySearch(PromptBase& pi, int startChar) { historyLinePosition); } fprintf(stdout, "\n"); - std::exit(0); + exit(0); //#endif // these characters update the search string, and hence the selected input @@ -2938,7 +2938,7 @@ int InputBuffer::getInputLine(PromptBase& pi) { //if (!pi.write()) break; // Redraw prompt //refreshLine(pi); // Refresh the line fprintf(stdout,"\n"); - std::exit(0); + exit(0); //break; //#endif |