From c82dbabbeac4807b8d68f1ab570d5433e9b30f77 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Sat, 28 Oct 2000 12:50:13 +0000 Subject: [PATCH] *** empty log message *** --- tests/expensive | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/expensive diff --git a/tests/expensive b/tests/expensive new file mode 100644 index 000000000..1eeb10e2c --- /dev/null +++ b/tests/expensive @@ -0,0 +1,11 @@ +if test "$RUN_EXPENSIVE_TESTS" != yes; then + cat <&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