diff options
author | Kris Kennaway <kris@FreeBSD.org> | 2005-10-11 03:53:39 +0000 |
---|---|---|
committer | Kris Kennaway <kris@FreeBSD.org> | 2005-10-11 03:53:39 +0000 |
commit | ac6980959a05971f10fe2ce652b7d6e9c86c9d59 (patch) | |
tree | 8bd39c36b58769d4120ec3bc9e59d9660aa36d56 /Tools | |
parent | 8ce4d9ae0ac1ff0a043fc8ccd3f481d97951d919 (diff) | |
download | ports-ac6980959a05971f10fe2ce652b7d6e9c86c9d59.tar.gz ports-ac6980959a05971f10fe2ce652b7d6e9c86c9d59.zip |
Notes
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/portbuild/scripts/dopackages | 2 |
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} |