diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-18 19:23:20 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-18 19:24:37 -0800 |
| commit | 94740a9b414a0fd9af70acb9b8bf3b9576b537e1 (patch) | |
| tree | d0b18232b285d3f5216dce195fb06b6f3685b070 /nomsu.lua | |
| parent | ad09f002e84d0e317c9563784b829f6f0102e994 (diff) | |
Improved command line interface and robustness of tools.
Diffstat (limited to 'nomsu.lua')
| -rw-r--r-- | nomsu.lua | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -108,7 +108,7 @@ local parser = re.compile([[ args <- {| (flag %sep)* / "-m" %sep (!("--" %sep) {[^%sep]+} %sep)* ("--" %sep)? / {[^%sep]+} %sep / {~ '' %sep? -> 'nomsu://tools/repl.nom' ~}) |} :}) - {:nomsu_args: {| (nomsu_flag %sep)* {:extra_args: {| ({[^%sep]+} %sep)* |} :} |} :} + {:nomsu_args: {| (nomsu_flag %sep)* {:extras: {| ({[^%sep]+} %sep)* |} :} |} :} |} !. flag <- {:optimization: "-O" (%sep? %number)? :} @@ -138,8 +138,8 @@ for _index_0 = 1, #_list_0 do local argpair = _list_0[_index_0] nomsu_args[argpair.key] = argpair.value end -nomsu_args.extra_args = List(args.nomsu_args.extra_args or { }) -nomsu_environment.command_line_args = nomsu_args +nomsu_args.extras = List(args.nomsu_args.extras or { }) +nomsu_environment.COMMAND_LINE_ARGS = nomsu_args nomsu_environment.OPTIMIZATION = tonumber(args.optimization or 1) local run run = function() |
