mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
6 lines
305 B
HTML
6 lines
305 B
HTML
# We use this --source include to mark a test as taking long to run.
|
|
# We can use this to schedule such test early (to not be left with
|
|
# only one or two long tests running, and rests of works idle), or to
|
|
# run a quick test skipping long-running test cases.
|
|
|
|
--source include/no_valgrind_without_big.inc
|