From 327304ddb8a31b474d9bb657206721f0781f4764 Mon Sep 17 00:00:00 2001 From: AJR Date: Sun, 9 Oct 2016 10:42:04 -0400 Subject: [PATCH] Fix Clang build (nw) --- 3rdparty/linenoise-ng/src/linenoise.cpp | 4 ++-- 1 file 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