summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Kelly <ctk21@cl.cam.ac.uk>2021-10-06 17:08:27 +0100
committerTom Kelly <ctk21@cl.cam.ac.uk>2021-10-06 17:08:27 +0100
commit3f05f09b8c5a71e7bc35c9ef20dc687b58791a12 (patch)
treed1501836cbd5a268919e18697ae017d1d4959dfc
parent50038476efe46cee211cadaed040f299745ef8df (diff)
downloadocaml-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--.gitattributes1
-rw-r--r--testsuite/disabled9
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)