diff options
Diffstat (limited to 'tests/very-expensive')
| -rw-r--r-- | tests/very-expensive | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tests/very-expensive b/tests/very-expensive deleted file mode 100644 index 3e27c0bed..000000000 --- a/tests/very-expensive +++ /dev/null @@ -1,11 +0,0 @@ -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 |