diff -r 7768d68909e8 -r d7ce0311ece2 tests/main.cc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/main.cc	Sun Dec 11 07:33:29 2011 +0100
@@ -0,0 +1,12 @@
+#include <benchmark_tools.h>
+
+using namespace lemon;
+
+int testMain(int argc, char **argv);
+
+int main(int argc, char **argv)
+{
+  Timer ti;
+  testMain(argc, argv);
+  logTime("total",ti);
+}