summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2022-07-06 22:15:35 +0200
committerGitHub <noreply@github.com>2022-07-06 22:15:35 +0200
commitff1df71bafb95494ef3d37fe12bacb94b8f8516f (patch)
tree98fce1abd5941eca3152227d86aaea291e5a41f1 /Makefile
parent3140fb4b2ede539cf22738b309c122d5150db284 (diff)
parent3cf46df55b55be583e3d71d46ea940e0a8216481 (diff)
downloadocaml-ff1df71bafb95494ef3d37fe12bacb94b8f8516f.tar.gz
Merge pull request #11404 from gadmm/fix_test_thread_register
Fix rooting logic in testsuite
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions