diff options
author | dillon <dillon@FreeBSD.org> | 1998-08-26 21:20:47 +0000 |
---|---|---|
committer | dillon <dillon@FreeBSD.org> | 1998-08-26 21:20:47 +0000 |
commit | 8966b94dbe300d3f4597e8ab4a438279113bc679 (patch) | |
tree | ca4c1e72d5b0a2a5b17475bfea3d1bc9a400d8f7 /etc/make.conf | |
parent | 343f23c6e906a06f3a710b747835ac571e30bdf2 (diff) | |
download | FreeBSD-src-8966b94dbe300d3f4597e8ab4a438279113bc679.zip FreeBSD-src-8966b94dbe300d3f4597e8ab4a438279113bc679.tar.gz |
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.
Diffstat (limited to 'etc/make.conf')
-rw-r--r-- | etc/make.conf | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/etc/make.conf b/etc/make.conf index 91d2de0..6b2458f 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 + |