diff options
| -rwxr-xr-x | Tools/portbuild/scripts/processlogs2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/processlogs2 b/Tools/portbuild/scripts/processlogs2 index ce53c32e6919..e973a4f5c204 100755 --- a/Tools/portbuild/scripts/processlogs2 +++ b/Tools/portbuild/scripts/processlogs2 @@ -15,7 +15,7 @@ echo "</head><body>" >>$of touch .stamp -grep '^extra: ' *.log > .tmp +find . -name '*.log' | sort | xargs grep '^extra: ' /dev/null | sed -e 's/^..//' > .tmp if [ $(echo $(cat .tmp | wc -l)) = 0 ]; then echo "No extra files (yet)" >> $of else |