diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2004-04-15 16:16:55 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2004-04-15 16:16:55 +0000 |
| commit | 0f8fe7fc59b5102f34a2e7fa42562cea5c471b8c (patch) | |
| tree | bcc3f5c5d56f2c4bfc04322b3e177c46eaef88e3 /man | |
| parent | 075aaa089f2f1e2b195972f339d4316c07e7cd3b (diff) | |
PR#2267
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man')
| -rw-r--r-- | man/ocamlrun.m | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/man/ocamlrun.m b/man/ocamlrun.m index 0fff44d76..7db888bdd 100644 --- a/man/ocamlrun.m +++ b/man/ocamlrun.m @@ -21,7 +21,7 @@ command. The first non-option argument is taken to be the name of the file containing the executable bytecode. (That file is searched in the executable path as well as in the current directory.) The remaining -arguments are passed to the Caml Light program, in the string array +arguments are passed to the Objective Caml program, in the string array Sys.argv. Element 0 of this array is the name of the bytecode executable file; elements 1 to .I n @@ -62,6 +62,9 @@ A parameter specification is an option letter followed by an = sign, a decimal number, and an optional multiplier. There are seven options: .TP +.BR b \ (backtrace) +Print a stack backtrace in case of an uncaught exception. +.TP .BR s \ (minor_heap_size) Size of the minor heap. .TP @@ -104,6 +107,12 @@ Change of GC parameters. .TP .BR 64 Computation of major GC slice size. +.TP +.BR 128 +Calling of finalisation function. +.TP +.BR 256 +Startup messages. The multiplier is .B k |