X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=include%2Flinux%2Fautomake.mk;h=6fba5075ac795497effd0f3d0d96e2fd82ec392b;hb=ae755ca7e1efc425862d7ce51ac12ac0b2df677a;hp=a0a963d09589565132ae41c1c3ab72815ddd4474;hpb=dd2525b87e716ebf06995961321869f521cab1ef;p=openvswitch

diff --git a/include/linux/automake.mk b/include/linux/automake.mk
index a0a963d0..6fba5075 100644
--- a/include/linux/automake.mk
+++ b/include/linux/automake.mk
@@ -1,2 +1,3 @@
 noinst_HEADERS += \
-	include/linux/if_link.h
+	include/linux/openvswitch.h \
+	include/linux/types.h