diff options
Diffstat (limited to 'mk/options.mk')
| -rw-r--r-- | mk/options.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mk/options.mk b/mk/options.mk index c0b4988741ff1..a03c6cde34dc6 100644 --- a/mk/options.mk +++ b/mk/options.mk @@ -1,4 +1,4 @@ -# $Id: options.mk,v 1.10 2014/02/11 18:34:48 sjg Exp $ +# $Id: options.mk,v 1.11 2020/05/02 21:23:52 sjg Exp $ # # @(#) Copyright (c) 2012, Simon J. Gerraty # @@ -77,3 +77,4 @@ ${OPTION_PREFIX}${o:H} ?= no ${OPTION_PREFIX}${o:H} ?= ${${OPTION_PREFIX}${o:T}} .endif .endfor +.undef OPTIONS_DEFAULT_VALUES OPTIONS_DEFAULT_NO OPTIONS_DEFAULT_YES |