From: Ben Pfaff <blp@nicira.com>
Date: Mon, 6 Dec 2010 18:29:04 +0000 (-0800)
Subject: Fix "make dist" by adding include/linux/types.h to distribution.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=20d9a814c745494d5afa335352b666ad6947661f;p=openvswitch

Fix "make dist" by adding include/linux/types.h to distribution.
---

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