diff options
| -rw-r--r-- | share/man/man7/ports.7 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/share/man/man7/ports.7 b/share/man/man7/ports.7 index 318a19ba98c0..6e28f85da964 100644 --- a/share/man/man7/ports.7 +++ b/share/man/man7/ports.7 @@ -581,6 +581,10 @@ Additional to set when .Va WITH_DEBUG is set. +.It Va DEFAULT_VERSIONS +Override the default variant used for ports +with multiple concurrent versions in the tree, +such as database or compiler versions. .It Va WITH_CCACHE_BUILD .Pq Vt bool If set, enables the use of |