aboutsummaryrefslogtreecommitdiff
path: root/Tools
diff options
context:
space:
mode:
authorKris Kennaway <kris@FreeBSD.org>2005-10-11 03:53:39 +0000
committerKris Kennaway <kris@FreeBSD.org>2005-10-11 03:53:39 +0000
commitac6980959a05971f10fe2ce652b7d6e9c86c9d59 (patch)
tree8bd39c36b58769d4120ec3bc9e59d9660aa36d56 /Tools
parent8ce4d9ae0ac1ff0a043fc8ccd3f481d97951d919 (diff)
downloadports-ac6980959a05971f10fe2ce652b7d6e9c86c9d59.tar.gz
ports-ac6980959a05971f10fe2ce652b7d6e9c86c9d59.zip
Notes
Diffstat (limited to 'Tools')
-rwxr-xr-xTools/portbuild/scripts/dopackages2
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/dopackages b/Tools/portbuild/scripts/dopackages
index bafc51423605..a25253000ef3 100755
--- a/Tools/portbuild/scripts/dopackages
+++ b/Tools/portbuild/scripts/dopackages
@@ -333,7 +333,7 @@ if [ "$skipstart" = 0 ]; then
echo "pruning stale entries from the failed ports list"
echo "================================================"
# Adding BROKEN ports to duds causes this to remove everything from failure list
- #lockf ${pb}/${arch}/${branch}/failure.lock ${scripts}/prunefailure ${arch} ${branch}
+ #lockf -k ${pb}/${arch}/${branch}/failure.lock ${scripts}/prunefailure ${arch} ${branch}
if [ "$noindex" = 0 ]; then
makeindex ${pb} ${arch} ${scripts} ${branch}