diff options
Diffstat (limited to 'etc/defaults')
| -rw-r--r-- | etc/defaults/make.conf | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/etc/defaults/make.conf b/etc/defaults/make.conf index 91d2de0..6b2458f 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 + |
