X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Flinux%2FModules.mk;h=14d23a4afc1b45f02e16053853b6a420126e0b2c;hb=51f4701be1545a3faa288dfe3993221a6a2fd81c;hp=8ce61157983ceaf877df1878c5e883214babc9cc;hpb=1280bf0e51e963dd3de6ee1e530bd4d7ce376591;p=openvswitch

diff --git a/datapath/linux/Modules.mk b/datapath/linux/Modules.mk
index 8ce61157..14d23a4a 100644
--- a/datapath/linux/Modules.mk
+++ b/datapath/linux/Modules.mk
@@ -13,6 +13,7 @@ openvswitch_sources += \
 	linux/compat/time.c	\
 	linux/compat/workqueue.c
 openvswitch_headers += \
+	linux/compat/include/linux/bug.h \
 	linux/compat/include/linux/compiler.h \
 	linux/compat/include/linux/compiler-gcc.h \
 	linux/compat/include/linux/cpumask.h \