diff6-10.chapter17.txt

このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。

last mod. 2008-08-28 (木) 09:55:13

diff6-10

60,62c60,64
<   The ocamlprof.dump file is written only if the program terminates normally
< (by calling exit or by falling through). It is not written if the program
< terminates with an uncaught exception.
---
>   If the environment variable OCAMLPROF_DUMP is set when the program exits, its
> value is used as the file name instead of ocamlprof.dump.
>   The dump file is written only if the program terminates normally (by calling
> exit or by falling through). It is not written if the program terminates with
> an uncaught exception.
74,75c76
< <<
<           ocamlprof foo.ml
---
> <<        ocamlprof foo.ml
84c85,86
<  -f dumpfile   Specifies an alternate dump file of profiling information 
---
>  -f dumpfile   Specifies an alternate dump file of profiling information to be
>    read. 
88a91,98
>  -impl sourcefile  Treat sourcefile as an implementation file (i.e. as if its
>    name ended with .ml). 
>  -intf sourcefile  Treat sourcefile as an interface file (i.e. as if its name
>    ended with .mli). 
>  -version  Print the version number of ocamlprof and exit. 
>  -instrument  
>  -m flags  These options are undocumented; they are used internally by ocamlcp.
>    
114c124
< generally consists of two parts: a ``flat'' profile showing the time spent in
---
> generally consists of two parts: a "flat" profile showing the time spent in
116c126
< ``hierarchical'' profile based on the call graph. Currently, only the Intel
---
> "hierarchical" profile based on the call graph. Currently, only the Intel
118c128
< other platforms, gprof will report only the ``flat'' profile with just time
---
> other platforms, gprof will report only the "flat" profile with just time

新規 編集 添付