From fbb667b8de6dc44110e59323d45c874c9e11656d Mon Sep 17 00:00:00 2001 From: dhickin Date: Wed, 3 Dec 2014 16:55:25 +0000 Subject: [PATCH] make "local" *.local files take precedence over those in TOP/.. --- configure/CONFIG_SITE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure/CONFIG_SITE b/configure/CONFIG_SITE index be992d3..6d1c979 100644 --- a/configure/CONFIG_SITE +++ b/configure/CONFIG_SITE @@ -20,8 +20,8 @@ CHECK_RELEASE = YES # INSTALL_LOCATION here. #INSTALL_LOCATION= --include $(TOP)/configure/CONFIG_SITE.local -include $(TOP)/../CONFIG_SITE.local +-include $(TOP)/configure/CONFIG_SITE.local ifdef WITH_COVERAGE USR_CPPFLAGS += --coverage