From 149f1bbd107c3697a761217669c5ee4b63e092be Mon Sep 17 00:00:00 2001
From: Jim Meyering <jim@meyering.net>
Date: Fri, 4 Nov 2005 09:52:09 +0000
Subject: just like expensive, but `very'

---
 tests/very-expensive | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/very-expensive

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
-- 
cgit v1.2.3-70-g09d2