changeset
main.lua: Error on unknown command-line options
Thu, 17 Dec 2015 14:24:57 +0000
- author
- Matthew Wild <mwild1@gmail.com>
- date
- Thu, 17 Dec 2015 14:24:57 +0000
- changeset 58
- 8fa0a464c727
- parent 57
- 6407a0157518
- child 59
- 909305ae72ac
main.lua: Error on unknown command-line options
| main.lua | file | annotate | diff | comparison | revisions |
--- 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");
