diff --git a/build/buildbot/config/include/defs.xml b/build/buildbot/config/include/defs.xml index 0c5b550e26..19cf8e4911 100644 --- a/build/buildbot/config/include/defs.xml +++ b/build/buildbot/config/include/defs.xml @@ -371,7 +371,7 @@ cd tests && cd tests && -./test && +./test --timing && if [ -n "$DISPLAY" -a -x test_gui ]; then ./test_gui; fi diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml index 30ca97ee38..78d7c38db2 100644 --- a/build/buildbot/config/ravnsgaard.xml +++ b/build/buildbot/config/ravnsgaard.xml @@ -28,17 +28,7 @@ - - - running tests with timing - run tests - - - - cd tests && ./test --timing - - - +