X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=datapath%2Flinux-2.6%2FMakefile.main.in;h=4b87550221ceb4ef2ea174baeebbb7cecde78412;hb=79c9f2ee7883b52860c76c3730725f5731402874;hp=967e2f7bcff1953fffbcb3d5c1e3c2ebdbc3b2f1;hpb=58fda1dab104041fc693032475ec4662c1a52849;p=openvswitch diff --git a/datapath/linux-2.6/Makefile.main.in b/datapath/linux-2.6/Makefile.main.in index 967e2f7b..4b875502 100644 --- a/datapath/linux-2.6/Makefile.main.in +++ b/datapath/linux-2.6/Makefile.main.in @@ -41,9 +41,12 @@ 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: