diff --git a/etc/defaults/make.conf b/etc/defaults/make.conf index 91d2de07b4ef..6b2458fd5da5 100644 --- a/etc/defaults/make.conf +++ b/etc/defaults/make.conf @@ -1,4 +1,4 @@ -# $Id: make.conf,v 1.66 1998/06/26 01:44:57 jkh Exp $ +# $Id: make.conf,v 1.67 1998/08/01 19:55:32 dima Exp $ # # This file, if present, will be read by make (see /usr/share/mk/sys.mk). # It allows you to override macro definitions to make without changing @@ -192,3 +192,8 @@ # /etc/passwd. The default number is 20011. # #TOP_TABLE_SIZE= 101 + +.if exists(/etc/make.conf.local) +.include "/etc/make.conf.local" +.endif + diff --git a/etc/make.conf b/etc/make.conf index 91d2de07b4ef..6b2458fd5da5 100644 --- a/etc/make.conf +++ b/etc/make.conf @@ -1,4 +1,4 @@ -# $Id: make.conf,v 1.66 1998/06/26 01:44:57 jkh Exp $ +# $Id: make.conf,v 1.67 1998/08/01 19:55:32 dima Exp $ # # This file, if present, will be read by make (see /usr/share/mk/sys.mk). # It allows you to override macro definitions to make without changing @@ -192,3 +192,8 @@ # /etc/passwd. The default number is 20011. # #TOP_TABLE_SIZE= 101 + +.if exists(/etc/make.conf.local) +.include "/etc/make.conf.local" +.endif + diff --git a/share/examples/etc/make.conf b/share/examples/etc/make.conf index 91d2de07b4ef..6b2458fd5da5 100644 --- a/share/examples/etc/make.conf +++ b/share/examples/etc/make.conf @@ -1,4 +1,4 @@ -# $Id: make.conf,v 1.66 1998/06/26 01:44:57 jkh Exp $ +# $Id: make.conf,v 1.67 1998/08/01 19:55:32 dima Exp $ # # This file, if present, will be read by make (see /usr/share/mk/sys.mk). # It allows you to override macro definitions to make without changing @@ -192,3 +192,8 @@ # /etc/passwd. The default number is 20011. # #TOP_TABLE_SIZE= 101 + +.if exists(/etc/make.conf.local) +.include "/etc/make.conf.local" +.endif +