diff options
| -rw-r--r-- | tests/very-expensive | 11 |
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 |