diff -r e0b0dcee5e17 -r 7b81a36809c6 src/test/time_measure_test.cc
--- a/src/test/time_measure_test.cc	Sun Jan 09 23:44:29 2005 +0000
+++ b/src/test/time_measure_test.cc	Tue Jan 11 09:04:08 2005 +0000
@@ -25,12 +25,11 @@
 
 int main()
 {
-  int j=0;
   Timer T;
-  for(int i=0;i<100;i++) j+=2;
+  while(T.getRealTime()<1.0) ;
   std::cout << T << '\n';
   T.reset();
-  for(int i=0;i<100;i++) j+=2;
+  while(T.getRealTime()<2.0) ;
   std::cout << T << '\n';
   
   return 0;