X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Flinux%2Fautomake.mk;h=a0a963d09589565132ae41c1c3ab72815ddd4474;hb=e7ed3a3a5f87d20f0cc632ae23adba6f30a4e19d;hp=56103a7957b0dc80f645383b0711fbc9dbdd9835;hpb=20d9a814c745494d5afa335352b666ad6947661f;p=openvswitch

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