diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml index 4b04603f8e..30ca97ee38 100644 --- a/build/buildbot/config/ravnsgaard.xml +++ b/build/buildbot/config/ravnsgaard.xml @@ -29,7 +29,16 @@ - cd tests && ./test --timing + + running tests with timing + run tests + + + + cd tests && ./test --timing + + +