diff options
author | Enguerrand Decorne <decorne.en@gmail.com> | 2019-11-15 13:52:35 +0100 |
---|---|---|
committer | Enguerrand Decorne <decorne.en@gmail.com> | 2020-04-30 10:32:01 +0200 |
commit | b7f0494df52f758f88b723b881a606660f4672cc (patch) | |
tree | f8d0872ec8c88dc47d37009e9b4008f4907dae1c /.gitattributes | |
parent | a9f7d74bcf332ffc18d394b5c6af30a1a74d01ab (diff) | |
download | ocaml-b7f0494df52f758f88b723b881a606660f4672cc.tar.gz |
Rewrite the instrumented runtime to store traces in the CTF format.
The instrumentation code in the instrumented runtime was replaced
with new APIs to gather runtime statistics and output them in a new format
(Common Trace Format).
This commit also exposes new functions in the Gc module to pause or resume
instrumentation during a program execution (Gc.eventlog_pause and
Gc.eventlog_resume).
Diffstat (limited to '.gitattributes')
-rw-r--r-- | .gitattributes | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitattributes b/.gitattributes index 748f53db2a..200eb49c62 100644 --- a/.gitattributes +++ b/.gitattributes @@ -116,7 +116,8 @@ testsuite/tests/**/*.reference typo.prune # Expect tests with overly long lines of expected output testsuite/tests/parsing/docstrings.ml typo.very-long-line -tools/magic typo.missing-header +tools/magic typo.missing-header +tools/eventlog_metadata.in typo.missing-header # TODO we should fix the long-line errors in yacc/*.c /yacc/*.[ch] typo.very-long-line=may |