From 591689f7f7301da41e08d95976e1318322254d75 Mon Sep 17 00:00:00 2001 From: ehaupt Date: Mon, 10 Feb 2014 13:54:26 +0000 Subject: According to the Porter's Handbook (5.12.2.3.) default options must be added to OPTIONS_DEFINE. This policy has been implemented only recently that's why we have many ports violating this policy. This patch adds the default options specified in the Porter's Handbook to OPTIONS_DEFINE where they are being used. Ports maintained by gnome@FreeBSD.org, kde@FreeBSD.org and x11@FreeBSD.org have been excluded. Approved by: portmgr (bapt) --- shells/mksh/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'shells') diff --git a/shells/mksh/Makefile b/shells/mksh/Makefile index c9b04e592d26..b8296949265d 100644 --- a/shells/mksh/Makefile +++ b/shells/mksh/Makefile @@ -14,6 +14,8 @@ COMMENT= MirBSD Korn Shell WRKSRC= ${WRKDIR}/${PORTNAME} +OPTIONS_DEFINE= EXAMPLES + .include do-build: -- cgit