diff options
| author | ehaupt <ehaupt@FreeBSD.org> | 2014-02-10 21:54:26 +0800 |
|---|---|---|
| committer | ehaupt <ehaupt@FreeBSD.org> | 2014-02-10 21:54:26 +0800 |
| commit | 591689f7f7301da41e08d95976e1318322254d75 (patch) | |
| tree | 3a1e73b4128190b7ed7020b2113a1d94d76b0e93 /x11/xbanner | |
| parent | 241bc346167b5bfc4beac8d3b3044454cf6b0f87 (diff) | |
| download | freebsd-ports-gnome-591689f7f7301da41e08d95976e1318322254d75.tar.gz freebsd-ports-gnome-591689f7f7301da41e08d95976e1318322254d75.tar.zst freebsd-ports-gnome-591689f7f7301da41e08d95976e1318322254d75.zip | |
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 'x11/xbanner')
| -rw-r--r-- | x11/xbanner/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/x11/xbanner/Makefile b/x11/xbanner/Makefile index 4d0c09b6075a..cbb0c9533883 100644 --- a/x11/xbanner/Makefile +++ b/x11/xbanner/Makefile @@ -14,6 +14,8 @@ COMMENT= Make your XDM login screen look beautiful USE_XORG= xpm x11 +OPTIONS_DEFINE= DOCS + .include <bsd.port.options.mk> post-patch: |