diff options
author | Sadiq Jaffer <sadiq@toao.com> | 2021-10-09 19:10:23 +0100 |
---|---|---|
committer | Sadiq Jaffer <sadiq@toao.com> | 2022-05-24 11:48:34 +0100 |
commit | 43c9026a9a47fcbdf2e827fecd022f559f206fb2 (patch) | |
tree | 0dc104e33d69828fd54982fbf25556bbe89815da /stdlib/gc.ml | |
parent | 2ddb52f9cc0cff844490f4756233b36f738f635d (diff) | |
download | ocaml-43c9026a9a47fcbdf2e827fecd022f559f206fb2.tar.gz |
Runtime_events tracing system
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 55784bf049..832cfedb4d 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -61,8 +61,9 @@ external major : unit -> unit = "caml_gc_major" external full_major : unit -> unit = "caml_gc_full_major" external compact : unit -> unit = "caml_gc_compaction" external get_minor_free : unit -> int = "caml_get_minor_free" -external eventlog_pause : unit -> unit = "caml_eventlog_pause" -external eventlog_resume : unit -> unit = "caml_eventlog_resume" + +let eventlog_pause () = () +let eventlog_resume () = () open Printf |