diff options
| -rw-r--r-- | pfinet/linux/time.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pfinet/linux/time.h b/pfinet/linux/time.h index 18a03a58..65bc8c6c 100644 --- a/pfinet/linux/time.h +++ b/pfinet/linux/time.h @@ -1 +1,7 @@ +#ifndef _HACK_TIME_H_ + #include <sys/time.h> + +void do_gettimeofday (struct timeval *); + +#endif |