diff -r 4eab99ff2666 -r 0ab493e5250e tests/benchmark_tools.h --- a/tests/benchmark_tools.h Sun Dec 11 16:08:52 2011 +0100 +++ b/tests/benchmark_tools.h Sun Dec 11 18:43:33 2011 +0100 @@ -28,13 +28,14 @@ extern std::string instance_name; extern const std::string DATADIR_PATH; - +extern const std::string BENCHMARK_BUILD_ID; inline void logTime(const std::string &_instance_name, const std::string &subtest_name, const lemon::TimeStamp &time) { - std::cout << "*** " << test_name + std::cout << "*** " << BENCHMARK_BUILD_ID + << ' ' << test_name << ' ' << _instance_name << ' ' << subtest_name << ' ' << std::setiosflags(std::ios::fixed) << std::setprecision(4)