diff options
Diffstat (limited to 'tests/expensive')
| -rw-r--r-- | tests/expensive | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/tests/expensive b/tests/expensive deleted file mode 100644 index c365f702b..000000000 --- a/tests/expensive +++ /dev/null @@ -1,28 +0,0 @@ -# Is a test expensive? - -# Copyright (C) 2000, 2004 Free Software Foundation, Inc. - -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. - -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. - -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. - -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 |