From 2053678ae55344c207effdf506beca1d606df575 Mon Sep 17 00:00:00 2001 From: Jendrik Seipp Date: Tue, 3 Oct 2023 10:38:33 +0200 Subject: [PATCH] [issue1084] Print command line usage errors to stderr. --- src/search/command_line.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/search/command_line.cc b/src/search/command_line.cc index 5b95ff424d..714b5c9622 100644 --- a/src/search/command_line.cc +++ b/src/search/command_line.cc @@ -19,7 +19,7 @@ using namespace std; NO_RETURN static void input_error(const string &msg) { - utils::g_log << msg << endl; + cerr << msg << endl; utils::exit_with(utils::ExitCode::SEARCH_INPUT_ERROR); }