diff options
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/portbuild/scripts/dopackagestats | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Tools/portbuild/scripts/dopackagestats b/Tools/portbuild/scripts/dopackagestats index 9e2f1c9f145f..c37778170c37 100755 --- a/Tools/portbuild/scripts/dopackagestats +++ b/Tools/portbuild/scripts/dopackagestats @@ -58,6 +58,10 @@ write_row () { else indexfile=$directory/ports/INDEX-$branch fi + # work around the fact that 5-exp is really 6-exp-prime + if [ ! -f $indexfile ]; then + indexfile=$directory/ports/`cd $directory/ports&&ls INDEX* | head -1` + fi # column: date of CVS checkout cvsdone=" " |