summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tests/very-expensive11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/very-expensive b/tests/very-expensive
new file mode 100644
index 000000000..3e27c0bed
--- /dev/null
+++ b/tests/very-expensive
@@ -0,0 +1,11 @@
+if test "$RUN_VERY_EXPENSIVE_TESTS" != yes; then
+ cat <<EOF >&2
+$0: This test is very expensive, so it is disabled by default.
+To run it anyway, rerun make check with the RUN_VERY_EXPENSIVE_TESTS
+environment variable set to yes. E.g.,
+
+ env RUN_VERY_EXPENSIVE_TESTS=yes make check
+
+EOF
+ (exit 77); exit 77
+fi