Mini Shell
Mini Shell
| Direktori : /home/rs/mysql/5.1/mysql-test/include/ |
| Current File : /home/rs/mysql/5.1/mysql-test/include/no_valgrind_without_big.inc |
# include/no_valgrind_without_big.inc
#
# If we are running with Valgrind ($VALGRIND_TEST <> 0) than the resource
# consumption (storage space needed, runtime ...) will be extreme.
# Therefore we require that the option "--big-test" is also set.
#
if (`SELECT $VALGRIND_TEST <> 0 AND '$BIG_TEST' = ''`)
{
--skip Need "--big-test" when running with Valgrind
}