diff --git a/tools/tools/tinderbox/www/index.cgi b/tools/tools/tinderbox/www/index.cgi
index 89a214dbf509..42bc73ca4532 100644
--- a/tools/tools/tinderbox/www/index.cgi
+++ b/tools/tools/tinderbox/www/index.cgi
@@ -71,7 +71,7 @@ MAIN:{
     opendir(DIR, $DIR)
 	or die("$DIR: $!\n");
     foreach (readdir(DIR)) {
-	next unless m/^tinderbox-(\w+)-(\w+)-(\w+)\./;
+	next unless m/^tinderbox-(\w+)-(\w+)-(\w+)\.(brief|full)$/;
 	$BRANCHES{$1} = $ARCHES{$2}->{$3} = 1;
     }
     closedir(DIR);