diff options
Diffstat (limited to 'tests/expensive')
| -rw-r--r-- | tests/expensive | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/tests/expensive b/tests/expensive deleted file mode 100644 index cc3f40d..0000000 --- a/tests/expensive +++ /dev/null @@ -1,30 +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 2 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, write to the Free Software -# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA -# 02110-1301, USA. - -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 |