blob: d1bbc5a70f44a3220e7ebc71598b042c79ddcbae (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
if test "$RUN_EXPENSIVE_TESTS" != yes; then
cat <<EOF >&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); exit 77
fi
|