X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Flinux%2FModules.mk;h=1f9973b47a3df19921d2a9e98017fc1c69e175c6;hb=da327b18bdbd36ad3dc465e07f6700795c684b14;hp=1e4fef6d44de86c6850d85282fbd215073767fc1;hpb=e9141eec249f97e547c6e47205b61ee98d9b52e9;p=openvswitch

diff --git a/datapath/linux/Modules.mk b/datapath/linux/Modules.mk
index 1e4fef6d..1f9973b4 100644
--- a/datapath/linux/Modules.mk
+++ b/datapath/linux/Modules.mk
@@ -10,7 +10,6 @@ openvswitch_sources += \
 	linux/compat/skbuff-openvswitch.c \
 	linux/compat/time.c
 openvswitch_headers += \
-	linux/compat/include/asm-generic/bug.h \
 	linux/compat/include/linux/compiler.h \
 	linux/compat/include/linux/compiler-gcc.h \
 	linux/compat/include/linux/cpumask.h \
@@ -49,6 +48,7 @@ openvswitch_headers += \
 	linux/compat/include/linux/tcp.h \
 	linux/compat/include/linux/timer.h \
 	linux/compat/include/linux/types.h \
+	linux/compat/include/linux/u64_stats_sync.h \
 	linux/compat/include/linux/udp.h \
 	linux/compat/include/linux/workqueue.h \
 	linux/compat/include/net/checksum.h \