diff options
| author | Peter Valchev <pvalchev@cvs.openbsd.org> | 2004-01-11 23:53:09 +0000 |
|---|---|---|
| committer | Peter Valchev <pvalchev@cvs.openbsd.org> | 2004-01-11 23:53:09 +0000 |
| commit | 65e9876f92fecde14933802c76b64617612d83b7 (patch) | |
| tree | ce6d2e1ce7e4a91dff44d28ad4991e2b6487684f /share/man/man7 | |
| parent | be7fbe643da69ba9afbe91e2bab5a8156e1f1078 (diff) | |
give a correct example, using make -k
(-k is needed otherwise it stops at the first unavailable distfile, which
is not what you want for a mirror)
ok espie
Diffstat (limited to 'share/man/man7')
| -rw-r--r-- | share/man/man7/mirroring-ports.7 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/man/man7/mirroring-ports.7 b/share/man/man7/mirroring-ports.7 index 882f1eed98c..00a6e15905b 100644 --- a/share/man/man7/mirroring-ports.7 +++ b/share/man/man7/mirroring-ports.7 @@ -1,4 +1,4 @@ -.\" $OpenBSD: mirroring-ports.7,v 1.11 2003/07/31 10:53:50 espie Exp $ +.\" $OpenBSD: mirroring-ports.7,v 1.12 2004/01/11 23:53:08 pvalchev Exp $ .\" .\" Copyright (c) 2000 Marc Espie .\" @@ -70,7 +70,7 @@ and .Ev F set on the command line, e.g., .Bd -literal -offset indent -cd mirror && make -j 5 -f path_to_makefile FETCH=fetch_script +cd mirror && make -k -j 5 -f path_to_makefile FETCH=fetch_script .Ed .Pp Targets are set up so that each port is referenced by its full name, and |