diff options
| author | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2004-06-18 05:04:14 +0000 |
|---|---|---|
| committer | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2004-06-18 05:04:14 +0000 |
| commit | 5e1bf20850aaa9b1ceb86a971848609ee9e84c47 (patch) | |
| tree | f3a6e5b5c38263fe527e6275ff95425f12637226 /man/ocamlrun.m | |
| parent | 8ec769214e067da9ee8b33d05f4ef275e9269dd5 (diff) | |
| download | ocaml-gcaml.tar.gz | |
port to the latest ocaml (2004/06/18)gcaml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gcaml@6419 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'man/ocamlrun.m')
| -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 0fff44d766..7db888bddf 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 |