diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml index 92495adc18..3b70210e11 100644 --- a/build/buildbot/config/ravnsgaard.xml +++ b/build/buildbot/config/ravnsgaard.xml @@ -39,8 +39,9 @@ - - + + + cd tests && ./test --timing @@ -51,7 +52,7 @@ - +