diff --git a/Tools/portbuild/scripts/processlogs2 b/Tools/portbuild/scripts/processlogs2 index 7f4545ba8614..317f5b89fa5a 100755 --- a/Tools/portbuild/scripts/processlogs2 +++ b/Tools/portbuild/scripts/processlogs2 @@ -2,7 +2,7 @@ of=extras.html.new -if [ -e .stamp -a $(echo $(find . -newer .stamp -type f -name '*.log' 2>/dev/null | wc -l)) = "0" ]; then exit; fi +if [ \! -e .force -a -e .stamp -a $(echo $(find . -newer .stamp -type f -name '*.log' 2>/dev/null | wc -l)) = "0" ]; then exit; fi echo "List of files and directories that do not match their mtree description" >$of echo "

List of files and directories that do not match their mtree description

" >>$of