X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdpif-linux.c;h=a85a57b03bf905b4e2d09e22273f41ae29093f87;hb=10dcf8deec96f64e56450bea6cc8801253f15f51;hp=b7c9e3e6c14848e22b1d1995931bd91bf9ee09bd;hpb=54825e09b3aaf4b9513af7d02011306e01b0768c;p=openvswitch

diff --git a/lib/dpif-linux.c b/lib/dpif-linux.c
index b7c9e3e6..a85a57b0 100644
--- a/lib/dpif-linux.c
+++ b/lib/dpif-linux.c
@@ -28,6 +28,7 @@
 #include <linux/sockios.h>
 #include <stdlib.h>
 #include <sys/ioctl.h>
+#include <sys/stat.h>
 #include <unistd.h>
 
 #include "dpif-provider.h"