summaryrefslogtreecommitdiff
path: root/tests
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
commitc4b35bfac2f71541d5fddb948ca0d82039dc67fe (patch)
tree008cc81ac5e3bb18a922eecfb3d5cf075a4f6e79 /tests
parent1114a6200e59c04ddcd5c528e55523293dd1a8dc (diff)
Warn that tests ought not to be used
Diffstat (limited to 'tests')
-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!