Reviewed by: asami@freebsd.org (Satoshi Asami)

Give make.conf a make.conf.local capability similar to rc.conf's
    rc.conf.local capability.  Eases large-site administration.
This commit is contained in:
Matthew Dillon 1998-08-26 21:20:47 +00:00
parent 5f867deba5
commit 4988888156
3 changed files with 18 additions and 3 deletions

View File

@ -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

View File

@ -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

View File

@ -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