diff options
| author | Emanuel Haupt <ehaupt@FreeBSD.org> | 2014-02-10 13:54:26 +0000 |
|---|---|---|
| committer | Emanuel Haupt <ehaupt@FreeBSD.org> | 2014-02-10 13:54:26 +0000 |
| commit | 5005b67362a735dc18d3d85170eae34e1fb6feab (patch) | |
| tree | 3a1e73b4128190b7ed7020b2113a1d94d76b0e93 /graphics/php5-swfed | |
| parent | - USE_GCC is needed on FreeBSD > 10 (diff) | |
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)
Diffstat (limited to 'graphics/php5-swfed')
| -rw-r--r-- | graphics/php5-swfed/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/graphics/php5-swfed/Makefile b/graphics/php5-swfed/Makefile index 1e3e97f70a9f..f9875d59fb29 100644 --- a/graphics/php5-swfed/Makefile +++ b/graphics/php5-swfed/Makefile @@ -29,6 +29,8 @@ PLIST_SUB= WWWOWN=${WWWOWN} WWWGRP=${WWWGRP} PORTDOCS= readme.txt PORTEXAMPLES= * +OPTIONS_DEFINE= DOCS EXAMPLES + .include <bsd.port.options.mk> post-install: |