summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-04-17 11:21:19 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-04-17 11:21:19 -0400
commit8d5d88110f12eb56558cf6f1b1514338792487da (patch)
tree008cc81ac5e3bb18a922eecfb3d5cf075a4f6e79
parentc86883ac43bf44afba14628577ff37f8e3009021 (diff)
Warn that tests ought not to be used
-rw-r--r--tests/README2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/README b/tests/README
new file mode 100644
index 00000000..753dc0db
--- /dev/null
+++ b/tests/README
@@ -0,0 +1,2 @@
+Most of these tests are broken, which is why they are masked out for the official code releases.
+Use at your own risk, and expect no support from anyone!