diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-05 17:23:32 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-07-05 17:23:32 +0200 |
| commit | cc96dd40bc1710cd20cc64f2f36622a1f01f174a (patch) | |
| tree | 2dd6bde7700cc2c95e1059ff0501605e9cff7d77 /ocaml | |
| parent | 339d330fb1b709c95c1db54f02b2365f4fe03c1f (diff) | |
Fix handling of argc and argv
The subcommand's name must be kept in argv[0] for getopt to work
properly.
Diffstat (limited to 'ocaml')
0 files changed, 0 insertions, 0 deletions