X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Flinux-2.6%2FMakefile.main.in;h=74bed7841c66d605a545d1e31cbba138275c8635;hb=2b01925c18a52b2f7dbff5c70269a4b4d8aec027;hp=fd231e6968c731dd4df1910fdcc253a80dac3ad1;hpb=c3e3d2a1e72f2fec8580e7974f809846788bc8ff;p=openvswitch

diff --git a/datapath/linux-2.6/Makefile.main.in b/datapath/linux-2.6/Makefile.main.in
index fd231e69..74bed784 100644
--- a/datapath/linux-2.6/Makefile.main.in
+++ b/datapath/linux-2.6/Makefile.main.in
@@ -4,8 +4,6 @@ export srcdir = @abs_srcdir@
 export top_srcdir = @abs_top_srcdir@
 export KSRC = @KBUILD26@
 export VERSION = @VERSION@
-export BUILD_VETH = @BUILD_VETH@
-export BUILD_GRE = @BUILD_GRE@
 
 include $(srcdir)/../Modules.mk
 include $(srcdir)/Modules.mk
@@ -42,13 +40,19 @@ ifeq (,$(wildcard $(VERSION_FILE)))
   $(error Linux kernel source not configured - missing version.h)
 endif
 
-CONFIG_FILE := $(KSRC)/include/linux/autoconf.h
+CONFIG_FILE := $(KSRC)/include/generated/autoconf.h
 ifeq (,$(wildcard $(CONFIG_FILE)))
-  $(error Linux kernel source not configured - missing autoconf.h)
+  CONFIG_FILE := $(KSRC)/include/linux/autoconf.h
+  ifeq (,$(wildcard $(CONFIG_FILE)))
+    $(error Linux kernel source not configured - missing autoconf.h)
+  endif
 endif
 
 default:
 	$(MAKE) -C $(KSRC) M=$(builddir) modules
+
+modules_install:
+	$(MAKE) -C $(KSRC) M=$(builddir) modules_install
 endif
 
 # Much of the kernel build system in this file is derived from Intel's