diff options
author | Vadim Zhukov <zhuk@cvs.openbsd.org> | 2015-09-13 10:05:23 +0000 |
---|---|---|
committer | Vadim Zhukov <zhuk@cvs.openbsd.org> | 2015-09-13 10:05:23 +0000 |
commit | b2a53b50d07dd84c514878e37df9276ebfe014c3 (patch) | |
tree | c736933c4d928f3d3f0d5c5c4caa80335990e01c | |
parent | a22a46221e3dcaa445e39ac1952ffd9a3a542b29 (diff) |
Mark IGNORE_IS_FATAL and IGNORE_SILENT as user settings explicitly.
This makes syncing list of such variables with portcheck code easier.
-rw-r--r-- | share/man/man5/bsd.port.mk.5 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/share/man/man5/bsd.port.mk.5 b/share/man/man5/bsd.port.mk.5 index 9b5484adc23..ef6684f2f63 100644 --- a/share/man/man5/bsd.port.mk.5 +++ b/share/man/man5/bsd.port.mk.5 @@ -1,4 +1,4 @@ -.\" $OpenBSD: bsd.port.mk.5,v 1.418 2015/07/30 08:03:50 jmc Exp $ +.\" $OpenBSD: bsd.port.mk.5,v 1.419 2015/09/13 10:05:22 zhuk Exp $ .\" .\" Copyright (c) 2000-2008 Marc Espie .\" @@ -24,7 +24,7 @@ .\" (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF .\" THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. .\" -.Dd $Mdocdate: July 30 2015 $ +.Dd $Mdocdate: September 13 2015 $ .Dt BSD.PORT.MK 5 .Os .Sh NAME @@ -1735,10 +1735,12 @@ See also .Ev NO_IGNORE , .Ev ONLY_FOR_ARCHS . .It Ev IGNORE_IS_FATAL +User settings. If set to .Sq Yes , ignored ports will become fatal errors. .It Ev IGNORE_SILENT +User settings. If set to .Sq Yes , do not print anything when ignoring a port. |