*** empty log message ***

diff --git a/tests/expensive b/tests/expensive
new file mode 100644 (file)
index 0000000..1eeb10e
--- /dev/null
+++ b/tests/expensive
@@ -0,0 +1,11 @@
+if test "$RUN_EXPENSIVE_TESTS" != yes; then
+  cat <<EOF >&2
+$0: This test is relatively expensive, so it is disabled by default.
+To run it anyway, rerun make check with the RUN_EXPENSIVE_TESTS
+environment variable set to yes.  E.g.,
+
+  env RUN_EXPENSIVE_TESTS=yes make check
+
+EOF
+  exit 77
+fi