From bb02aaf151c1ad9f310aa47509aa12a6c776fec8 Mon Sep 17 00:00:00 2001 From: khooyp Date: Wed, 11 Jan 2012 15:02:11 +0000 Subject: [PATCH] Source local configuration from scripts/Makefile.local if available. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1495 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.common | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/Makefile.common b/scripts/Makefile.common index 58f96db..17e8051 100644 --- a/scripts/Makefile.common +++ b/scripts/Makefile.common @@ -101,3 +101,6 @@ define arcat.sh $(RM) __.SYMDEF*; \ $(AR) qcs $(1) * endef + +# use local configuration, if available +-include $(TOP)/scripts/Makefile.local -- 2.47.3