mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
13 lines
364 B
PHP
13 lines
364 B
PHP
|
# 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
|
||
|
|
}
|
||
|
|
|