summaryrefslogtreecommitdiff
path: root/.ocp-indent
diff options
context:
space:
mode:
authorAnil Madhavapeddy <anil@recoil.org>2023-05-15 16:59:09 +0100
committerGitHub <noreply@github.com>2023-05-15 16:59:09 +0100
commitcd01cac2e11706cac40462f185345848596f2b40 (patch)
tree2e551319e1615aa738c472b5dd7cd2551dfffd50 /.ocp-indent
parent3358a2eb61128fff9d6f28466d7d50c1bf1ee24d (diff)
downloadocaml-cd01cac2e11706cac40462f185345848596f2b40.tar.gz
make caml_time_counter concurrent-safe on macOS (#12234)
Also time counter a uint64_t instead of casting between signed/unsigned longs on all the platforms. The type of most of the monotonic counter interfaces is an uint64, except for Windows. Fixes #12096
Diffstat (limited to '.ocp-indent')
0 files changed, 0 insertions, 0 deletions