From 354fdd412f0de8ef64de278f606b7ffcf7ce1853 Mon Sep 17 00:00:00 2001 From: dhickin Date: Wed, 3 Dec 2014 16:55:27 +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 fca3b14..64fc0fd 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