diff options
-rw-r--r-- | osdep/timer-linux.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/osdep/timer-linux.c b/osdep/timer-linux.c index 5b6010b154..579c284019 100644 --- a/osdep/timer-linux.c +++ b/osdep/timer-linux.c @@ -65,7 +65,8 @@ void InitTimer(void){ #if 0 -void main(void){ +#include <stdio.h> +int main(void){ float t=0; InitTimer(); while(1){ t+=GetRelativeTime();printf("time= %10.6f\r",t);fflush(stdout); } |