X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Flinux%2Fautomake.mk;h=56103a7957b0dc80f645383b0711fbc9dbdd9835;hb=4fadfb5644bfc91cf719a0783f17121042db0035;hp=79362db3bf8973560dccbbca92e9ff6b2e2f56c9;hpb=bb65383a57455d194927ba540ff0bbe23c7c054f;p=openvswitch

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