1 files changed, 1 insertions, 0 deletions

diff --git a/pfinet/linux/time.h b/pfinet/linux/time.h
new file mode 100644
index 00000000..18a03a58
--- /dev/null
+++ b/pfinet/linux/time.h
@@ -0,0 +1 @@
+#include <sys/time.h>