From 36d21732a87898ae11c21815a7c2385894da9578 Mon Sep 17 00:00:00 2001 From: Moritz Bunkus Date: Tue, 11 Aug 2009 12:30:40 +0200 Subject: [PATCH] Abort if the user has given more than one file name. --- src/propedit/options.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/propedit/options.cpp b/src/propedit/options.cpp index f004d8942..7441977a7 100644 --- a/src/propedit/options.cpp +++ b/src/propedit/options.cpp @@ -50,7 +50,7 @@ options_c::add_target(const std::string &spec) { void options_c::set_file_name(const std::string &file_name) { if (!m_file_name.empty()) - mxinfo(boost::format(Y("More than one file name has been given ('%1%' and '%2%').")) % m_file_name % file_name); + mxerror(boost::format(Y("More than one file name has been given ('%1%' and '%2%').\n")) % m_file_name % file_name); m_file_name = file_name; }