diff options
| author | Abiola Zeenat Abdulsalam <81884414+Abiola-Zeenat@users.noreply.github.com> | 2022-11-18 19:05:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-18 19:05:18 +0100 |
| commit | 5360277c51c33847789f05121e6d8272f27ef0e6 (patch) | |
| tree | 833a9a1ecf66f0ece00542030f243f7743ed759e /manual | |
| parent | d979990ba897a4ae84f1d6040efb13eee716760c (diff) | |
| download | ocaml-5360277c51c33847789f05121e6d8272f27ef0e6.tar.gz | |
Add the -no-g option to ocamlc and ocamlopt (#11696)
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/src/cmds/unified-options.etex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manual/src/cmds/unified-options.etex b/manual/src/cmds/unified-options.etex index 7351c8dd0c..85a5ad5430 100644 --- a/manual/src/cmds/unified-options.etex +++ b/manual/src/cmds/unified-options.etex @@ -260,6 +260,11 @@ section~\ref{s:ocamlrun-options}). }%notop \notop{% +\item["-no-g"] +Do not record debugging information (default). +}%notop + +\notop{% \item["-i"] Cause the compiler to print all defined names (with their inferred types or their definitions) when compiling an implementation (".ml" |