K 10 svn:author V 4 ngie K 8 svn:date V 27 2017-10-30T09:19:28.707622Z K 7 svn:log V 102 Remove redundant DEFAULT_NO_OPTIONS specification for MK_COVERAGE bsd.opts.mk is already handling it END