blob: 3e27c0bedce9196e299c45f9d06b89bb2d457705 (
plain)
1
2
3
4
5
6
7
8
9
10
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
|