Mark H Weaver writes: > Hi Marius, > >> Update: Berlin built mariadb twice on core-updates with this patch: >> >> --8<---------------cut here---------------start------------->8--- >> diff --git a/gnu/packages/databases.scm b/gnu/packages/databases.scm >> index 6bfeaad9a2..64bc0938b6 100644 >> --- a/gnu/packages/databases.scm >> +++ b/gnu/packages/databases.scm >> @@ -753,7 +753,7 @@ Language.") >> (with-directory-excursion "mysql-test" >> (invoke "./mtr" "--verbose" >> "--retry=3" >> - "--testcase-timeout=40" >> + "--testcase-timeout=80" >> "--suite-timeout=600" >> "--parallel" (number->string (parallel-job-count)) >> "--skip-test-list=unstable-tests")) >> --8<---------------cut here---------------end--------------->8--- >> >> Mark, Chris: Can you try this change with MariaDB 10.1.40 and see if it >> works for you? > > I tried it, but it made no difference on my Thinkpad X200, which still > fails the same way as before with 10.1.38: > > Failing test(s): tokudb_bugs.mdev4533 I was about to push this patch to core-updates: