|
Last change
on this file since 3166 was
3005,
checked in by sacerdot, 8 years ago
|
|
Beginning of making it fully compatible with untrusted one.
|
|
File size:
356 bytes
|
| Line | |
|---|
| 1 | let options = ref [] |
|---|
| 2 | |
|---|
| 3 | let register o = |
|---|
| 4 | options := o @ !options |
|---|
| 5 | |
|---|
| 6 | let results () = |
|---|
| 7 | let usage_msg = |
|---|
| 8 | "Usage: " |
|---|
| 9 | ^ (Filename.basename Sys.executable_name) |
|---|
| 10 | ^ " [options] file..." |
|---|
| 11 | in |
|---|
| 12 | let extra_arguments = ref [] in |
|---|
| 13 | Arg.parse (Arg.align !options) |
|---|
| 14 | (fun s -> extra_arguments := s :: !extra_arguments) |
|---|
| 15 | usage_msg; |
|---|
| 16 | !extra_arguments |
|---|
Note: See
TracBrowser
for help on using the repository browser.
