Skip to content

Commit

Permalink
[cli] remove --execute
Browse files Browse the repository at this point in the history
This was introduced and deprecated at the same time in #6862, which seems rather pointless.
  • Loading branch information
Gama11 committed Mar 15, 2019
1 parent c0a5526 commit 1d97dba
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/compiler/main.ml
Original file line number Diff line number Diff line change
Expand Up @@ -535,7 +535,7 @@ try
("Target",["--hl"],["-hl"],Arg.String (fun file ->
Initialize.set_platform com Hl file;
),"<file>","compile HL code as target file");
("Target",[],["-x";"--execute"], Arg.String (fun cl ->
("Target",[],["-x"], Arg.String (fun cl ->
let cpath = Path.parse_type_path cl in
(match com.main_class with
| Some c -> if cpath <> c then raise (Arg.Bad "Multiple --main classes specified")
Expand Down

0 comments on commit 1d97dba

Please sign in to comment.