diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-06 17:08:27 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-06 17:08:27 +0100 |
commit | 3f05f09b8c5a71e7bc35c9ef20dc687b58791a12 (patch) | |
tree | d1501836cbd5a268919e18697ae017d1d4959dfc | |
parent | 50038476efe46cee211cadaed040f299745ef8df (diff) | |
download | ocaml-3f05f09b8c5a71e7bc35c9ef20dc687b58791a12.tar.gz |
remove unnecessary test/promotion in the testsuite/disabled file; allow testsuite/disabled to pass check-typo without a license header; fix up the 80char line check-typo problems with testsuite/disabled
-rw-r--r-- | .gitattributes | 1 | ||||
-rw-r--r-- | testsuite/disabled | 9 |
2 files changed, 5 insertions, 5 deletions
diff --git a/.gitattributes b/.gitattributes index 714b6348c7..7ac7124644 100644 --- a/.gitattributes +++ b/.gitattributes @@ -49,6 +49,7 @@ README* typo.missing-header api_docgen/*.mld typo.missing-header api_docgen/alldoc.tex typo.missing-header tools/mantis2gh_stripped.csv typo.missing-header +testsuite/disabled typo.missing-header *.adoc typo.long-line=may diff --git a/testsuite/disabled b/testsuite/disabled index bf7eb18428..28a97a9325 100644 --- a/testsuite/disabled +++ b/testsuite/disabled @@ -46,15 +46,14 @@ tests/lib-unix/kill/'unix_kill.ml' with 1.2 (native) tests/lib-threads/'beat.ml' with 1.2 (native) tests/lib-threads/'beat.ml' with 1.1 (bytecode) -# TODO: pr9971 broken in our systhread implmentation with debug build (#9971/#9973) +# TODO: pr9971 broken in our systhread implmentation +# with debug build (#9971/#9973) tests/lib-threads/'pr9971.ml' with 1.1 (bytecode) tests/lib-threads/'pr9971.ml' with 1.2 (native) # ocamldebug is broken (#34) tool-debugger -# since promotion is based on minor heap size now, this test can no longer be correct -tests/promotion/bigrecmod.ml - -# instrumented runtime test is not very useful (and broken on multicore.) (#9413) +# instrumented runtime test is not very useful +# (and broken on multicore.) (#9413) tests/instrumented-runtime/'main.ml' with 1.1 (native) |