# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1450362297 0
# Node ID 8fa0a464c7275909ed029ecbb4c048ade7486de9
# Parent  6407a0157518761ba9a57b42c48d8bee84ff4df8
main.lua: Error on unknown command-line options

diff -r 6407a0157518 -r 8fa0a464c727 main.lua
--- a/main.lua	Thu Dec 17 14:24:19 2015 +0000
+++ b/main.lua	Thu Dec 17 14:24:57 2015 +0000
@@ -35,6 +35,8 @@
 			table.insert(property_rules, { class = "client", properties = { connect_host = host } });
 		elseif opt == "--out" or opt == "-o" then
 			result_log_filename = get_value();
+		else
+			error("Unhandled command-line option: "..opt);
 		end
 	end
 	assert(#arg > 0, "No test script provided");