# HG changeset patch
# User diego
# Date 1277192472 0
# Node ID a8963007ecc7a6a5c9eee6850c42830336b65ce3
# Parent  537a064968b9b3af5bea77285615951e927b3034
Remove disabled and unused timer-linux test main routine.

diff -r 537a064968b9 -r a8963007ecc7 osdep/timer-linux.c
--- a/osdep/timer-linux.c	Tue Jun 22 07:02:18 2010 +0000
+++ b/osdep/timer-linux.c	Tue Jun 22 07:41:12 2010 +0000
@@ -86,17 +86,3 @@
 {
     GetRelativeTime();
 }
-
-
-#if 0
-#include <stdio.h>
-int main(void)
-{
-    float t = 0;
-    InitTimer();
-    while (1) {
-        t += GetRelativeTime();
-        printf("time = %10.6f\r", t);
-        fflush(stdout); }
-}
-#endif