diff6-10.chapter17.txtこのページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 last mod. 2008-08-28 (木) 09:55:13
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 |